Trace number 2671092

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2 ClSAT-11 1798.01 1798.49

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUM2468d4642d986af58e932976ec0c4f0e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1464.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2671092-1276718448.opb
0.00/0.00	c File size is 50402 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 716 Constr: 1384 666/102/616 Lit: 5228 Watch. Lit: 4514
0.00/0.01	c Obj. Vars: 50 (6.98324 % of total variables)
0.09/0.14	c Pre-processing Time: 0.141 s
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    716     1384     5228    3     4514   10700      0      0 0.14
0.09/0.14	c Switching off lower bounding mode.
0.09/0.14	o -1
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    716     1385     5278    3     4517   10733      1      0 0.14
0.09/0.14	o -2
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        2    716     1388     5443    3     4525   10750      4     13 0.14
0.09/0.15	c      102    716     1488    11463    7     4725   11826    104    662 0.15
0.09/0.15	o -3
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c      109    716     1496    11865    7     4744   10767    112    703 0.15
0.29/0.30	c      209    716     1596    18181   11     4944   11844    212   1259 0.17
0.29/0.30	c      459    716     1846    37776   20     5444   13029    462   2318 0.20
0.29/0.30	c      934    716     2321    74446   32     6394   14332    937   3766 0.25
0.29/0.30	o -4
2.49/2.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.50	c     1631    716     3019   111921   37     7794   10783   1635   5418 0.30
2.49/2.50	c     1731    716     3119   118370   37     7994   11862   1735   5460 0.32
2.49/2.50	c     1981    716     3369   137765   40     8494   13049   1985   5596 0.35
2.49/2.50	c     2456    716     3844   170337   44     9444   14354   2460   5792 0.42
2.49/2.50	c     3269    716     4657   237103   50    11070   15790   3273   5976 0.55
2.49/2.50	c     4589    716     5977   340524   56    13710   17370   4593   6118 0.75
2.49/2.50	c     6670    716     8058   470484   58    17872   19108   6674   6025 1.11
2.49/2.50	c     9893    716    11281   742504   65    24318   21019   9897   5006 1.98
2.49/2.50	o -5
4.69/4.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.77	c    11519    716    12908   869484   67    27577   10800  11524   4609 2.50
4.69/4.77	c    11619    716     6885   448806   65    15521   11881   5501   4296 2.70
4.69/4.77	c    11869    716     7135   466471   65    16021   13070   5751   4263 2.78
4.69/4.77	c    12344    716     7610   503671   66    16971   14378   6226   4211 2.93
4.69/4.77	c    13157    716     8423   567751   67    18597   15816   7039   4092 3.21
4.69/4.77	c    14477    716     9743   673817   69    21237   17398   8359   3880 3.73
4.69/4.77	c    16559    716    11825   844307   71    25401   19138  10441   3580 4.62
4.69/4.77	o -7
4.69/4.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.79	c    16646    716    11913   847018   71    25584   10833  10529   3491 4.77
4.69/4.79	o -8
7.59/7.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.59/7.61	c    16654    716    11922   847539   71    25610   10850  10538   3477 4.79
7.59/7.61	c    16754    716    12022   854501   71    25810   11936  10638   3446 4.86
7.59/7.61	c    17004    716    12272   871104   70    26310   13130  10888   3437 4.95
7.59/7.61	c    17479    716    12747   901585   70    27260   14444  11363   3429 5.10
7.59/7.61	c    18292    716    13560   959996   70    28886   15889  12176   3439 5.32
7.59/7.61	c    19612    716    14880  1038622   69    31526   17478  13496   3491 5.62
7.59/7.61	c    21693    716    16961  1176585   69    35688   19226  15577   3482 6.23
7.59/7.61	c    24916    716    20184  1426312   70    42134   21149  18800   3391 7.35
7.59/7.61	o -9
81.66/81.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
81.66/81.74	c    25517    716    20786  1473841   70    43347   10867  19402   3354 7.61
81.66/81.74	c    25617    716     6919   414304   59    15593   11954   5535   2988 8.57
81.66/81.74	c    25867    716     7169   432018   60    16093   13150   5785   2993 8.64
81.66/81.74	c    26342    716     7644   464896   60    17043   14466   6260   2999 8.78
81.66/81.74	c    27155    716     8457   526398   62    18669   15913   7073   2998 9.05
81.66/81.74	c    28475    716     9777   628731   64    21309   17505   8393   3018 9.43
81.66/81.74	c    30556    716    11858   791281   66    25471   19256  10474   3006 10.16
81.66/81.74	c    33780    716    15082  1045927   69    31919   21182  13698   2961 11.41
81.66/81.74	c    38716    716    20018  1411879   70    41791   23301  18634   2829 13.68
81.66/81.74	c    46222    716    14356   994596   69    30467   25632  12972   2446 18.89
81.66/81.74	c    57584    716    25718  1820957   70    53191   28196  24334   2172 26.51
81.66/81.74	c    74728    716    24980  1786977   71    51715   31016  23596   1881 39.73
81.66/81.74	c   100547    716    30205  1794088   59    62165   34118  28821   1567 64.12
81.66/81.74	o -10
1085.19/1085.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1085.19/1085.50	c   125943    716    32010  1762902   55    65785   10883  30626   1541 81.71
1085.19/1085.50	c   126043    716     6927   331713   47    15610   11972   5543   1491 84.48
1085.19/1085.50	c   126293    716     7177   347157   48    16110   13170   5793   1493 84.54
1085.19/1085.50	c   126768    716     7652   375308   49    17060   14488   6268   1496 84.69
1085.19/1085.50	c   127581    716     8465   424904   50    18686   15937   7081   1502 84.91
1085.19/1085.50	c   128901    716     9785   505622   51    21326   17531   8401   1512 85.23
1085.19/1085.50	c   130982    716    11866   622233   52    25488   19285  10482   1528 85.70
1085.19/1085.50	c   134205    716    15089   833492   55    31934   21214  13705   1546 86.76
1085.19/1085.50	c   139141    716    20025  1160402   57    41806   23336  18641   1560 89.18
1085.19/1085.50	c   146647    716    14396   861679   59    30548   25670  13012   1538 95.30
1085.19/1085.50	c   158008    716    25757  1573321   61    53270   28238  24373   1551 101.86
1085.19/1085.50	c   175152    716    25083  1487371   59    51922   31062  23699   1518 115.35
1085.19/1085.50	c   200971    716    30359  1781786   58    62474   34169  28975   1467 136.96
1085.19/1085.50	c   239803    716    22014  1243407   56    45784   37586  20630   1418 169.07
1085.19/1085.50	c   298155    716    26553  1516022   57    54862   41345  25169   1345 221.59
1085.19/1085.50	c   385787    716    22423  1405091   62    46602   45480  21039   1265 304.93
1085.19/1085.50	c   517339    716    15446   938932   60    32648   50029  14062   1157 446.87
1085.19/1085.50	c   714771    716    17781  1065408   59    37318   55032  16397   1029 694.05
1085.19/1085.50	c  1011023    716    49933  3274608   65   101622   60536  48549    948 1065.93
1085.19/1085.50	o -11
1797.92/1798.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.48	c  1019378    716    58289  3841401   65   118345   10900  56905    939 1085.21
1797.92/1798.48	c  1019478    716     6935   375764   54    15627   11991   5551    933 1091.97
1797.92/1798.48	c  1019728    716     7185   389589   54    16127   13191   5801    933 1092.08
1797.92/1798.48	c  1020203    716     7660   419983   54    17077   14511   6276    934 1092.25
1797.92/1798.48	c  1021017    716     8474   466365   55    18705   15963   7090    934 1092.56
1797.92/1798.48	c  1022337    716     9794   549514   56    21345   17560   8410    935 1093.04
1797.92/1798.48	c  1024418    716    11875   687816   57    25507   19317  10491    936 1093.71
1797.92/1798.48	c  1027641    716    15098   901357   59    31953   21249  13714    938 1095.08
1797.92/1798.48	c  1032577    716    20034  1221160   60    41825   23374  18650    940 1097.47
1797.92/1798.48	c  1040083    716    14312   853474   59    30381   25712  12928    940 1105.77
1797.92/1798.48	c  1051444    716    25673  1613992   62    53103   28284  24289    944 1113.07
1797.92/1798.48	c  1068589    716    24909  1644663   66    51575   31113  23525    948 1126.78
1797.92/1798.48	c  1094408    716    30151  1887423   62    62059   34225  28767    948 1153.49
1797.92/1798.48	c  1133240    716    21776  1223113   56    45309   37648  20392    952 1189.84
1797.92/1798.48	c  1191592    716    26199  1539271   58    54155   41413  24815    958 1243.07
1797.92/1798.48	c  1279224    716    21907  1227430   56    45571   45555  20523    952 1342.69
1797.92/1798.48	c  1410776    716    14820   901774   60    31397   50111  13436    912 1546.68
1797.92/1798.48	c  1608208    716    16743   901455   53    35243   55123  15359    895 1796.32
1797.92/1798.48	c Resources Exceeded
1797.92/1798.48	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 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 x66 x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 x95 -x96 x97 -x98 -x99 -x100 
1797.92/1798.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.48	c   81  1610962   1788  1618106    19497  1069927  18113    895 1798.00
1797.92/1798.48	c Objective: -11
1797.92/1798.48	s SATISFIABLE
1797.92/1798.48	c Total time: 1798 s

Verifier Data 

OK	-11

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671092-1276718448/watcher-2671092-1276718448 -o /tmp/evaluation-result-2671092-1276718448/solver-2671092-1276718448 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671092-1276718448.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19469
/proc/meminfo: memFree=1490084/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=10844 CPUtime=0
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 13135456 11104256 251 1992294400 134512640 137138936 4291005600 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 2711 251 175 642 0 2054 0

[startup+0.043464 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19469
/proc/meminfo: memFree=1490084/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=11056 CPUtime=0.04
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 413 0 0 0 4 0 0 0 20 0 1 0 13135456 11321344 318 1992294400 134512640 137138936 4291005600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 2764 318 184 642 0 2120 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11056

[startup+0.10047 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19469
/proc/meminfo: memFree=1490084/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=11056 CPUtime=0.09
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 413 0 0 0 9 0 0 0 20 0 1 0 13135456 11321344 318 1992294400 134512640 137138936 4291005600 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 2764 318 184 642 0 2120 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11056

[startup+0.300491 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19469
/proc/meminfo: memFree=1490084/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=12564 CPUtime=0.29
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 802 0 0 0 29 0 0 0 20 0 1 0 13135456 12865536 707 1992294400 134512640 137138936 4291005600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 3141 707 191 642 0 2497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12564

[startup+0.700536 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19469
/proc/meminfo: memFree=1490084/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=15448 CPUtime=0.69
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 1517 0 0 0 68 1 0 0 20 0 1 0 13135456 15818752 1422 1992294400 134512640 137138936 4291005600 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 3862 1422 191 642 0 3218 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15448

[startup+1.50062 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19470
/proc/meminfo: memFree=1483628/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=19588 CPUtime=1.49
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 2563 0 0 0 146 3 0 0 22 0 1 0 13135456 20058112 2468 1992294400 134512640 137138936 4291005600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 4897 2468 191 642 0 4253 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19588

[startup+3.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19470
/proc/meminfo: memFree=1478544/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=23460 CPUtime=3.09
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 3514 0 0 0 305 4 0 0 25 0 1 0 13135456 24023040 3419 1992294400 134512640 137138936 4291005600 18446744073709551615 134542454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 5865 3419 191 642 0 5221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23460

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19470
/proc/meminfo: memFree=1475444/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=27952 CPUtime=6.29
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 4646 0 0 0 623 6 0 0 25 0 1 0 13135456 28622848 4551 1992294400 134512640 137138936 4291005600 18446744073709551615 134543953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 6988 4551 191 642 0 6344 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27952

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19470
/proc/meminfo: memFree=1468252/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=32068 CPUtime=12.69
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 5674 0 0 0 1260 9 0 0 25 0 1 0 13135456 32837632 5579 1992294400 134512640 137138936 4291005600 18446744073709551615 136297747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 8017 5579 191 642 0 7373 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32068

[startup+25.5003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19479
/proc/meminfo: memFree=1463044/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=36952 CPUtime=25.47
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 6908 0 0 0 2534 13 0 0 25 0 1 0 13135456 37838848 6813 1992294400 134512640 137138936 4291005600 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 9238 6813 191 642 0 8594 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 36952

[startup+51.1011 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 19479
/proc/meminfo: memFree=1456348/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=43768 CPUtime=51.06
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 8611 0 0 0 5086 20 0 0 25 0 1 0 13135456 44818432 8516 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 10942 8516 191 642 0 10298 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 43768

[startup+102.308 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 19481
/proc/meminfo: memFree=1456224/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=43780 CPUtime=102.26
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 8648 0 0 0 10193 33 0 0 25 0 1 0 13135456 44830720 8519 1992294400 134512640 137138936 4291005600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 10945 8519 191 642 0 10301 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43780

[startup+162.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 19483
/proc/meminfo: memFree=1456224/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=43780 CPUtime=162.23
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 8648 0 0 0 16175 48 0 0 25 0 1 0 13135456 44830720 8519 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 10945 8519 191 642 0 10301 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 43780

[startup+222.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 19485
/proc/meminfo: memFree=1454488/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=45728 CPUtime=222.22
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 9142 0 0 0 22160 62 0 0 25 0 1 0 13135456 46825472 8975 1992294400 134512640 137138936 4291005600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 11432 8975 191 642 0 10788 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 45728

[startup+282.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 19487
/proc/meminfo: memFree=1449404/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=50904 CPUtime=282.21
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 10478 0 0 0 28143 78 0 0 25 0 1 0 13135456 52125696 10269 1992294400 134512640 137138936 4291005600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 12726 10269 191 642 0 12082 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 50904

[startup+342.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 19487
/proc/meminfo: memFree=1445064/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=54980 CPUtime=342.19
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 11548 0 0 0 34124 95 0 0 25 0 1 0 13135456 56299520 11293 1992294400 134512640 137138936 4291005600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 13745 11293 191 642 0 13101 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54980

[startup+402.301 s]
/proc/loadavg: 1.11 1.07 1.01 2/107 19489
/proc/meminfo: memFree=1445064/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=55172 CPUtime=402.18
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 11591 0 0 0 40108 110 0 0 25 0 1 0 13135456 56496128 11336 1992294400 134512640 137138936 4291005600 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 13793 11336 191 642 0 13149 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 55172

[startup+462.301 s]
/proc/loadavg: 1.08 1.07 1.01 2/107 19491
/proc/meminfo: memFree=1444444/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=55872 CPUtime=462.16
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 11766 0 0 0 46092 124 0 0 25 0 1 0 13135456 57212928 11511 1992294400 134512640 137138936 4291005600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 13968 11511 191 642 0 13324 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 55872

[startup+522.301 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 19493
/proc/meminfo: memFree=1441840/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=58136 CPUtime=522.14
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 12411 0 0 0 52077 137 0 0 25 0 1 0 13135456 59531264 12106 1992294400 134512640 137138936 4291005600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 14534 12106 191 642 0 13890 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 58136

[startup+582.301 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 19495
/proc/meminfo: memFree=1440724/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=59480 CPUtime=582.13
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 12718 0 0 0 58064 149 0 0 25 0 1 0 13135456 60907520 12413 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 14870 12413 191 642 0 14226 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 59480

[startup+642.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/107 19495
/proc/meminfo: memFree=1440724/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=59480 CPUtime=642.12
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 12718 0 0 0 64053 159 0 0 25 0 1 0 13135456 60907520 12413 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 14870 12413 191 642 0 14226 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 59480

[startup+702.301 s]

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

/proc/meminfo: memFree=1433284/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1121.99
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 111928 271 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 66432

[startup+1182.3 s]
/proc/loadavg: 1.06 1.09 1.02 2/107 19511
/proc/meminfo: memFree=1433160/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1181.96
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 117913 283 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 66432

[startup+1242.3 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 19511
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1241.96
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 123897 299 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 66432

[startup+1302.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 19513
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1301.95
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 129882 313 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 66432

[startup+1362.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 19515
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1361.92
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 135866 326 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 66432

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 19517
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1421.91
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 141856 335 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 66432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 19519
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1481.89
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 147842 347 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 66432

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 19519
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1541.88
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 153829 359 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 66432

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 19521
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1601.86
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 159815 371 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 66432

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 19523
/proc/meminfo: memFree=1433036/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1661.84
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 165798 386 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 66432

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19525
/proc/meminfo: memFree=1432912/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1721.82
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 171780 402 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 66432

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1781.81
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 177766 415 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 66432

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1791.41
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 178725 416 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 66432

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1794.61
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 179045 416 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 66432

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1796.21
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 179204 417 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 66432

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1797.01
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 179284 417 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 66432

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1797.4
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 179323 417 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 66432

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1797.81
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 179363 418 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 66432

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19527
/proc/meminfo: memFree=1432788/2059040 swapFree=4192956/4192956
[pid=19469] ppid=19467 vsize=66432 CPUtime=1797.92
/proc/19469/stat : 19469 (bsolo_pb10) R 19467 19469 19159 0 -1 4202496 14586 0 0 0 179374 418 0 0 25 0 1 0 13135456 68026368 14170 1992294400 134512640 137138936 4291005600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19469/statm: 16608 14170 191 642 0 15964 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 66432

Child status: 0
Real time (s): 1798.49
CPU time (s): 1798.01
CPU user time (s): 1793.82
CPU system time (s): 4.18836
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 66432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.82
system time used= 4.18836
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14587
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= 1
involuntary context switches= 4463

runsolver used 3.10453 second user time and 8.35373 second system time

The end

Launcher Data 

Begin job on node059 at 2010-06-16 22:00:48
IDJOB=2671092
IDBENCH=48262
IDSOLVER=1163
FILE ID=node059/2671092-1276718448
PBS_JOBID= 11174140
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671092-1276718448/watcher-2671092-1276718448 -o /tmp/evaluation-result-2671092-1276718448/solver-2671092-1276718448 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2671092-1276718448.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e
RANDOM SEED=2061354728

node059.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1490860 kB
Buffers:        156132 kB
Cached:         268252 kB
SwapCached:          0 kB
Active:         169956 kB
Inactive:       313668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1490860 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4032 kB
Writeback:           0 kB
AnonPages:       59332 kB
Mapped:          15348 kB
Slab:            62756 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671092-1276718448.opb

Free space on /tmp at the end= 62552 MiB
End job on node059 at 2010-06-16 22:30:46