Trace number 453951

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)-108 1800.12 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

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/453951-1178019128/instance-453951-1178019128.opb
0.00/0.00	c File size is 86057 bytes.
0.00/0.04	c Highest Coefficient sum: 500
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.038 s
0.00/0.05	c Var: 6826 Constr: 13652 6826/500/6326 Lit: 50608 Watch. Lit: 37956
0.00/0.05	c Obj. Vars: 500 (7.32493 % of total variables)
0.08/0.12	c Pre-processing Time: 0.12 s
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0    500     3163     9489    3     6326    1054      0      0 0.12
0.08/0.12	c Switching off LPR mode.
0.08/0.12	o -100	0.121
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0    500     3164     9989    3     6428    2054      1      0 0.12
0.08/0.13	o -101	0.128
6.69/6.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.78	c       32    500     3197    23225    7     6595    2054     34    250 0.13
6.69/6.78	c      132    500     3297    62893   19     6795    2260    134    862 0.15
6.69/6.78	c      383    500     3548   162463   45     7297    2487    385   1764 0.22
6.69/6.78	c      858    500     4023   350922   87     8247    2736    860   2416 0.35
6.69/6.78	c     1672    500     4837   673651  139     9875    3010   1674   2782 0.60
6.69/6.78	c     2992    500     6157  1196481  194    12515    3312   2994   2882 1.04
6.69/6.78	c     5073    500     8238  2022218  245    16677    3644   5075   2436 2.08
6.69/6.78	c     8298    500    11463  3300569  287    23127    4009   8300   2225 3.73
6.69/6.78	c    13235    500     7603  1769605  232    15307    4410   4440   1968 6.72
6.69/6.78	o -102	6.774
6.79/6.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.88	c    13401    500     7770  1835968  236    15743    2054   4607   1978 6.77
6.79/6.88	c    13501    500     7870  1875501  238    15943    2260   4707   1983 6.81
6.79/6.88	o -103	6.878
31.88/31.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.88/31.99	c    13711    500     8081  1959103  242    16468    2054   4918   1993 6.88
31.88/31.99	c    13812    500     8182  1998917  244    16670    2260   5019   1997 6.91
31.88/31.99	c    14063    500     8433  2097946  248    17172    2487   5270   2003 7.02
31.88/31.99	c    14539    500     8909  2285462  256    18124    2736   5746   2024 7.18
31.88/31.99	c    15352    500     9722  2606032  268    19750    3010   6559   2048 7.50
31.88/31.99	c    16672    500    11042  3126996  283    22390    3312   7879   2064 8.08
31.88/31.99	c    18755    500     4820   662329  137     9743    3644   1657   1985 9.45
31.88/31.99	c    21979    500     8044  1934239  240    16191    4009   4881   2045 10.75
31.88/31.99	c    26915    500    12980  3879698  298    26063    4410   9817   1924 13.98
31.88/31.99	c    34421    500    11490  3293440  286    23083    4852   8327   1523 22.59
31.88/31.99	c    45783    500    13634  4141332  303    27371    5338  10471   1442 31.73
31.88/31.99	o -104	31.985
35.17/35.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.17/35.24	c    46458    500    14310  4408147  308    28827    2054  11147   1452 31.98
35.17/35.24	c    46559    500     4292   454917  105     8688    2260   1129   1425 32.66
35.17/35.24	c    46809    500     4542   553269  121     9188    2487   1379   1430 32.72
35.17/35.24	c    47285    500     5018   740634  147    10140    2736   1855   1439 32.86
35.17/35.24	c    48099    500     5832  1060752  181    11768    3010   2669   1454 33.07
35.17/35.24	c    49420    500     7153  1580307  220    14410    3312   3990   1471 33.58
35.17/35.24	c    51502    500     9235  2399031  259    18574    3644   6072   1485 34.66
35.17/35.24	o -105	35.226
314.89/315.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
314.89/315.05	c    52837    500    10571  2924693  276    21351    2054   7408   1499 35.23
314.89/315.05	c    52938    500    10672  2964343  277    21553    2260   7509   1501 35.27
314.89/315.05	c    53190    500    10924  3063258  280    22057    2487   7761   1502 35.39
314.89/315.05	c    53665    500    11399  3249523  285    23007    2736   8236   1498 35.82
314.89/315.05	c    54478    500    12212  3568214  292    24633    3010   9049   1508 36.12
314.89/315.05	c    55800    500     5244   825780  157    10593    3312   2081   1502 37.15
314.89/315.05	c    57881    500     7325  1642250  224    14755    3644   4162   1526 37.91
314.89/315.05	c    61104    500    10548  2906408  275    21201    4009   7385   1552 39.36
314.89/315.05	c    66040    500     6695  1395131  208    13495    4410   3532   1558 42.37
314.89/315.05	c    73547    500     5369   874652  162    10843    4852   2206   1530 48.05
314.89/315.05	c    84909    500     7521  1718512  228    15147    5338   4358   1456 58.31
314.89/315.05	c   102054    500     5833  1055498  180    11771    5872   2670   1394 73.20
314.89/315.05	c   127873    500    12224  3562274  291    24553    6460   9061   1347 94.86
314.89/315.05	c   166705    500    11021  3091234  280    22147    7107   7858   1305 127.72
314.89/315.05	c   225057    500     7381  1662033  225    14867    7818   4218   1170 192.23
314.89/315.05	c   312690    500     9525  2502796  262    19155    8600   6362   1024 305.07
314.89/315.05	o -106	314.958
559.63/559.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
559.63/559.88	c   323831    500     9580  2528125  263    19371    2054   6417   1028 314.96
559.63/559.88	c   323932    500     9681  2567659  265    19573    2260   6518   1028 315.02
559.63/559.88	c   324182    500     9931  2665416  268    20073    2487   6768   1028 315.10
559.63/559.88	c   324657    500    10406  2851041  273    21023    2736   7243   1029 315.29
559.63/559.88	c   325470    500    11219  3169113  282    22649    3010   8056   1031 315.61
559.63/559.88	c   326790    500     4669   598650  128     9444    3312   1506   1031 316.79
559.63/559.88	c   328871    500     6750  1412667  209    13606    3644   3587   1035 317.62
559.63/559.88	c   332094    500     9973  2673591  268    20052    4009   6810   1040 319.03
559.63/559.88	c   337030    500     6124  1167210  190    12354    4410   2961   1048 321.49
559.63/559.88	c   344536    500    13630  4102090  300    27366    4852  10467   1059 325.22
559.63/559.88	c   355897    500     6585  1347287  204    13276    5338   3422   1065 334.16
559.63/559.88	c   373042    500    14281  4355228  304    28668    5872  11118   1068 348.98
559.63/559.88	c   398861    500    10935  3051449  279    21976    6460   7772   1046 381.18
559.63/559.88	c   437693    500     9760  2589324  265    19626    7107   6597   1058 413.60
559.63/559.88	c   496045    500    16446  5205458  316    32998    7818  13283   1020 486.19
559.63/559.88	o -107	559.709
778.85/779.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
778.85/779.20	c   552730    500     9011  2297624  254    18235    2054   5848    987 559.71
778.85/779.20	c   552830    500     9111  2336656  256    18435    2260   5948    987 559.78
778.85/779.20	c   553080    500     9361  2434201  260    18935    2487   6198    987 559.85
778.85/779.20	c   553555    500     9836  2619437  266    19885    2736   6673    988 560.11
778.85/779.20	c   554368    500    10649  2936664  275    21511    3010   7486    989 560.41
778.85/779.20	c   555689    500    11970  3451792  288    24153    3312   8807    990 560.88
778.85/779.20	c   557770    500     5610   964561  171    11327    3644   2447    990 563.38
778.85/779.20	c   560993    500     8833  2221731  251    17773    4009   5670    992 565.02
778.85/779.20	c   565930    500     5169   792209  153    10445    4410   2006    997 567.32
778.85/779.20	c   573436    500    12675  3722458  293    25457    4852   9512   1000 572.95
778.85/779.20	c   584797    500     5650   978396  173    11407    5338   2487   1000 584.25
778.85/779.20	c   601942    500    13344  3980661  298    26795    5872  10181   1006 598.15
778.95/779.20	c   627761    500    10018  2684020  267    20143    6460   6855   1001 627.04
778.95/779.20	c   666593    500     8816  2215301  251    17739    7107   5653   1000 666.40
778.95/779.20	c   724945    500    15532  4837405  311    31171    7818  12369   1004 721.66
778.95/779.20	o -108	778.967
1800.09/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.70	c   777351    500    14473  4428386  305    29161    2054  11310    997 778.97
1800.09/1800.70	c   777451    500     4291   449970  104     8690    2260   1128    997 779.68
1800.09/1800.70	c   777702    500     4542   547645  120     9192    2487   1379    997 779.74
1800.09/1800.70	c   778177    500     5017   732378  145    10142    2736   1854    997 779.87
1800.09/1800.70	c   778990    500     5830  1048816  179    11768    3010   2667    998 780.08
1800.09/1800.70	c   780310    500     7150  1562152  218    14408    3312   3987    999 780.56
1800.09/1800.70	c   782392    500     9232  2371287  256    18572    3644   6069   1001 781.28
1800.09/1800.70	c   785616    500    12456  3626777  291    25020    4009   9293   1003 782.75
1800.09/1800.70	c   790552    500     8615  2130073  247    17338    4410   5452   1005 786.62
1800.09/1800.70	c   798059    500     7137  1555384  217    14382    4852   3974   1006 792.65
1800.09/1800.70	c   809420    500     9287  2392660  257    18682    5338   6124   1011 800.18
1800.09/1800.70	c   826565    500     7559  1717845  227    15226    5872   4396   1017 812.09
1800.09/1800.70	c   852385    500    13947  4208190  301    28002    6460  10784   1022 833.79
1800.09/1800.70	c   891217    500    12770  3745618  293    25648    7107   9607   1032 862.96
1800.09/1800.70	c   949570    500     9163  2340505  255    18434    7818   6000   1021 929.54
1800.09/1800.70	c  1037204    500    11332  3187338  281    22772    8600   8169   1008 1028.89
1800.09/1800.70	c  1168757    500    10012  2676382  267    20132    9461   6849    994 1174.70
1800.09/1800.70	c  1366190    500    12049  3463682  287    24206   10408   8886   1000 1364.85
1800.09/1800.70	c  1662442    500     9027  2289170  253    18162   11449   5864   1003 1656.54
1800.09/1800.70	c Caught signal: 15
1800.09/1800.71	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 -x29
1800.09/1800.71	v -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 -x55
1800.09/1800.71	v -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 -x81
1800.09/1800.71	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.09/1800.71	v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x127
1800.09/1800.71	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148
1800.09/1800.71	v -x149 -x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170
1800.09/1800.71	v -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1800.09/1800.71	v -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 x212 -x213
1800.09/1800.71	v -x214 x215 -x216 x217 x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235
1800.09/1800.71	v x236 -x237 -x238 x239 -x240 -x241 -x242 x243 x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257
1800.09/1800.71	v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278
1800.09/1800.71	v -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299
1800.09/1800.71	v -x300 -x301 -x302 x303 x304 x305 x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321
1800.09/1800.71	v -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 x338 -x339 -x340 -x341 -x342
1800.09/1800.71	v -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 x357 x358 x359 -x360 x361 -x362 x363 -x364 x365
1800.09/1800.71	v -x366 x367 -x368 x369 x370 -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387
1800.09/1800.71	v -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 -x409
1800.09/1800.71	v -x410 -x411 -x412 x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 x428 -x429 -x430 -x431
1800.09/1800.71	v -x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 x452 -x453
1800.09/1800.71	v x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 -x468 -x469 x470 x471 -x472 x473 x474 -x475
1800.09/1800.71	v -x476 -x477 x478 x479 x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497
1800.09/1800.71	v -x498 x499 -x500
1800.09/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.71	c   95  1774395 387274  2496450    21056  6970211  17893    985 1800.10
1800.09/1800.71	c Objective: -108
1800.09/1800.71	s SATISFIABLE
1800.09/1800.71	c Total time: 1800.1 s

Verifier Data (download as text)

OK	-108

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-453951-1178019128 -o ROOT/results/node63/solver-453951-1178019128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453951-1178019128/instance-453951-1178019128.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.85 0.97 0.99 3/64 8593
/proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=11824 CPUtime=0
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 277902776 12107776 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 2956 333 279 324 0 2004 0

[startup+0.066122 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8593
/proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=7616 CPUtime=0.05
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 1291 0 0 0 5 0 0 0 18 0 1 0 277902776 7798784 1239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 1904 1239 304 324 0 974 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7616

[startup+0.101126 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8593
/proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=7616 CPUtime=0.08
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 1305 0 0 0 8 0 0 0 18 0 1 0 277902776 7798784 1253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134556784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 1904 1253 305 324 0 974 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7616

[startup+0.301146 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8593
/proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=10668 CPUtime=0.29
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 2108 0 0 0 28 1 0 0 19 0 1 0 277902776 10924032 2034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 2667 2034 311 324 0 1737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10668

[startup+0.701189 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 8593
/proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=17152 CPUtime=0.69
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 3728 0 0 0 68 1 0 0 22 0 1 0 277902776 17563648 3654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 4288 3654 311 324 0 3358 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17152

[startup+1.50127 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1891604/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=27884 CPUtime=1.48
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 6407 0 0 0 146 2 0 0 25 0 1 0 277902776 28553216 6333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 6971 6333 311 324 0 6041 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27884

[startup+3.10144 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1880340/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=44108 CPUtime=3.09
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 10449 0 0 0 304 5 0 0 25 0 1 0 277902776 45166592 10375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 11027 10375 311 324 0 10097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44108

[startup+6.30178 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1851156/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=61592 CPUtime=6.29
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 14834 0 0 0 622 7 0 0 25 0 1 0 277902776 63070208 14760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 15398 14760 311 324 0 14468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61592

[startup+12.7015 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1867220/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=50340 CPUtime=12.69
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 16072 0 0 0 1261 8 0 0 25 0 1 0 277902776 51548160 11948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 12585 11948 311 324 0 11655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50340

[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1846804/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=66100 CPUtime=25.48
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 20006 0 0 0 2538 10 0 0 25 0 1 0 277902776 67686400 15882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 16525 15882 311 324 0 15595 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66100

[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1849876/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=63064 CPUtime=51.06
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 20307 0 0 0 5096 10 0 0 25 0 1 0 277902776 64577536 15118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 15766 15118 311 324 0 14836 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 63064

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1838740/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=74068 CPUtime=102.26
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 23699 0 0 0 10214 12 0 0 25 0 1 0 277902776 75845632 17889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3411727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 18517 17889 311 324 0 17587 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 74068

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1835348/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=77384 CPUtime=162.24
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 24583 0 0 0 16211 13 0 0 25 0 1 0 277902776 79241216 18718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 19346 18718 311 324 0 18416 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 77384

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1831828/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80984 CPUtime=222.22
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 25475 0 0 0 22209 13 0 0 25 0 1 0 277902776 82927616 19610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20246 19610 311 324 0 19316 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 80984

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1831700/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=81080 CPUtime=282.2
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 25493 0 0 0 28207 13 0 0 25 0 1 0 277902776 83025920 19624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20270 19624 311 324 0 19340 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 81080

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1832084/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80420 CPUtime=342.19
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26484 0 0 0 34205 14 0 0 25 0 1 0 277902776 82350080 19477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20105 19477 311 324 0 19175 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 80420

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1832276/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80188 CPUtime=402.17
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26484 0 0 0 40203 14 0 0 25 0 1 0 277902776 82112512 19419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20047 19419 311 324 0 19117 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 80188

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1832276/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80188 CPUtime=462.15
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26484 0 0 0 46201 14 0 0 25 0 1 0 277902776 82112512 19419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20047 19419 311 324 0 19117 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 80188

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1831700/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80952 CPUtime=522.13
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26665 0 0 0 52199 14 0 0 25 0 1 0 277902776 82894848 19600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20238 19600 311 324 0 19308 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 80952

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8594
/proc/meminfo: memFree=1831764/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80628 CPUtime=582.12
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26666 0 0 0 58198 14 0 0 25 0 1 0 277902776 82563072 19529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20157 19529 311 324 0 19227 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 80628

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1832212/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80152 CPUtime=642.1
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26666 0 0 0 64196 14 0 0 25 0 1 0 277902776 82075648 19410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20038 19410 311 324 0 19108 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 80152


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1832276/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80064 CPUtime=882.03
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26922 0 0 0 88188 15 0 0 25 0 1 0 277902776 81985536 19388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20016 19388 311 324 0 19086 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 80064

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1832148/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80444 CPUtime=942.02
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 27007 0 0 0 94187 15 0 0 25 0 1 0 277902776 82374656 19473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20111 19473 311 324 0 19181 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 80444

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1832084/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=80536 CPUtime=1002
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 27125 0 0 0 100185 15 0 0 25 0 1 0 277902776 82468864 19488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 20134 19488 311 324 0 19204 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 80536

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1828116/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=84324 CPUtime=1061.97
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 28188 0 0 0 106182 15 0 0 25 0 1 0 277902776 86347776 20453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 21081 20453 311 324 0 20151 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 84324

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1828052/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=84412 CPUtime=1121.96
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 28229 0 0 0 112181 15 0 0 25 0 1 0 277902776 86437888 20475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 21103 20475 311 324 0 20173 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 84412

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1825364/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=88744 CPUtime=1181.94
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29306 0 0 0 118178 16 0 0 25 0 1 0 277902776 90873856 21542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 22186 21542 311 324 0 21256 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 88744

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1823764/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=88696 CPUtime=1241.93
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29316 0 0 0 124177 16 0 0 25 0 1 0 277902776 90824704 21546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 22174 21546 311 324 0 21244 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 88696

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1823764/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=88644 CPUtime=1301.91
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29316 0 0 0 130175 16 0 0 25 0 1 0 277902776 90771456 21533 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 22161 21533 311 324 0 21231 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 88644

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1823764/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=88492 CPUtime=1361.89
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29361 0 0 0 136173 16 0 0 25 0 1 0 277902776 90615808 21495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 22123 21495 311 324 0 21193 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 88492

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1818900/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=93464 CPUtime=1421.89
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30616 0 0 0 142171 18 0 0 25 0 1 0 277902776 95707136 22738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 23366 22738 311 324 0 22436 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 93464

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1818900/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=93512 CPUtime=1481.86
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30637 0 0 0 148168 18 0 0 25 0 1 0 277902776 95756288 22735 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 23378 22735 311 324 0 22448 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 93512

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1818836/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=93524 CPUtime=1541.85
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30662 0 0 0 154167 18 0 0 25 0 1 0 277902776 95768576 22753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 23381 22753 311 324 0 22451 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 93524

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1818836/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=93512 CPUtime=1601.83
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30666 0 0 0 160165 18 0 0 25 0 1 0 277902776 95756288 22750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 23378 22750 311 324 0 22448 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 93512

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1818836/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=93536 CPUtime=1661.81
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30701 0 0 0 166163 18 0 0 25 0 1 0 277902776 95780864 22754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 23384 22754 311 324 0 22454 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 93536

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8596
/proc/meminfo: memFree=1816788/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=95368 CPUtime=1721.8
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 32828 0 0 0 172161 19 0 0 25 0 1 0 277902776 97656832 23214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 23842 23214 311 324 0 22912 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 95368

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 8772
/proc/meminfo: memFree=1812260/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=98668 CPUtime=1781.7
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 33649 0 0 0 178150 20 0 0 25 0 1 0 277902776 101036032 24035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 24667 24035 311 324 0 23737 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 98668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8794
/proc/meminfo: memFree=1813268/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=98668 CPUtime=1800.09
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 33652 0 0 0 179989 20 0 0 25 0 1 0 277902776 101036032 24038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 24667 24038 311 324 0 23737 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 98668

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 8794
/proc/meminfo: memFree=1813268/2055920 swapFree=4182904/4192956
[pid=8593] ppid=8591 vsize=98668 CPUtime=1800.09
/proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 33652 0 0 0 179989 20 0 0 25 0 1 0 277902776 101036032 24038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8593/statm: 24667 24038 311 324 0 23737 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 98668

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.12
CPU user time (s): 1799.9
CPU system time (s): 0.222966
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 98860

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

runsolver used 1.44178 second user time and 3.53246 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue May  1 11:32:09 UTC 2007

IDJOB= 453951
IDBENCH= 48164
IDSOLVER= 199
FILE ID= node63/453951-1178019128

PBS_JOBID= 4728358

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453951-1178019128/instance-453951-1178019128.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-453951-1178019128 -o ROOT/results/node63/solver-453951-1178019128 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453951-1178019128/instance-453951-1178019128.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  81ea6ef3f58dd056541f0542171b5402

RANDOM SEED= 152963528

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1909940 kB
Buffers:         12604 kB
Cached:          62848 kB
SwapCached:       3632 kB
Active:          40852 kB
Inactive:        43756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1909940 kB
SwapTotal:     4192956 kB
SwapFree:      4182904 kB
Dirty:            6860 kB
Writeback:           0 kB
Mapped:          15268 kB
Slab:            47372 kB
Committed_AS:  3352548 kB
PageTables:       1460 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= 66558 MiB

End job on node63 on Tue May  1 12:02:11 UTC 2007