Trace number 1878282

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT-11 1798.01 1798.92

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 benchmark1716.62
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning
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 HOME/instance-1878282-1245209986.opb
0.00/0.00	c File size is 50402 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 716 Constr: 1384 666/102/616 Lit: 5228 Watch. Lit: 4514
0.00/0.00	c Obj. Vars: 50 (6.98324 % of total variables)
0.09/0.13	c Pre-processing Time: 0.13 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    716     1384     5228    3     4514   10700      0      0 0.13
0.09/0.13	c Switching off lower bounding mode.
0.09/0.13	o -1
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    716     1385     5278    3     4517   10733      1      0 0.13
0.09/0.13	o -2
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        2    716     1388     5443    3     4525   10750      4     15 0.13
0.09/0.14	c      102    716     1488    11463    7     4725   11826    104    718 0.14
0.09/0.14	o -3
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c      109    716     1496    11865    7     4744   10767    112    756 0.14
0.19/0.28	c      209    716     1596    18181   11     4944   11844    212   1366 0.15
0.19/0.28	c      459    716     1846    37776   20     5444   13029    462   2508 0.18
0.19/0.28	c      934    716     2321    74446   32     6394   14332    937   4078 0.23
0.19/0.28	o -4
2.29/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.36	c     1631    716     3019   111921   37     7794   10783   1635   5866 0.28
2.29/2.36	c     1731    716     3119   118370   37     7994   11862   1735   5907 0.29
2.29/2.36	c     1981    716     3369   137765   40     8494   13049   1985   6039 0.33
2.29/2.36	c     2456    716     3844   170337   44     9444   14354   2460   6265 0.39
2.29/2.36	c     3269    716     4657   237103   50    11070   15790   3273   6460 0.51
2.29/2.36	c     4589    716     5977   340524   56    13710   17370   4593   6593 0.70
2.29/2.36	c     6670    716     8058   470484   58    17872   19108   6674   6456 1.03
2.29/2.36	c     9893    716    11281   742504   65    24318   21019   9897   5313 1.86
2.29/2.36	o -5
4.49/4.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.52	c    11519    716    12908   869484   67    27577   10800  11524   4876 2.36
4.49/4.52	c    11619    716     6885   448806   65    15521   11881   5501   4545 2.56
4.49/4.52	c    11869    716     7135   466471   65    16021   13070   5751   4509 2.63
4.49/4.52	c    12344    716     7610   503671   66    16971   14378   6226   4454 2.77
4.49/4.52	c    13157    716     8423   567751   67    18597   15816   7039   4325 3.04
4.49/4.52	c    14477    716     9743   673817   69    21237   17398   8359   4097 3.53
4.49/4.52	c    16559    716    11825   844307   71    25401   19138  10441   3775 4.39
4.49/4.52	o -7
4.49/4.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.54	c    16646    716    11913   847018   71    25584   10833  10529   3679 4.52
4.49/4.54	o -8
7.18/7.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.23	c    16654    716    11922   847539   71    25610   10850  10538   3663 4.55
7.18/7.23	c    16754    716    12022   854501   71    25810   11936  10638   3628 4.62
7.18/7.23	c    17004    716    12272   871104   70    26310   13130  10888   3618 4.70
7.18/7.23	c    17479    716    12747   901585   70    27260   14444  11363   3609 4.84
7.18/7.23	c    18292    716    13560   959996   70    28886   15889  12176   3620 5.05
7.18/7.23	c    19612    716    14880  1038622   69    31526   17478  13496   3675 5.34
7.18/7.23	c    21693    716    16961  1176585   69    35688   19226  15577   3664 5.92
7.18/7.23	c    24916    716    20184  1426312   70    42134   21149  18800   3566 6.99
7.18/7.23	o -9
78.45/78.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.45/78.59	c    25517    716    20786  1473841   70    43347   10867  19402   3527 7.23
78.45/78.59	c    25617    716     6919   414304   59    15593   11954   5535   3146 8.14
78.45/78.59	c    25867    716     7169   432018   60    16093   13150   5785   3152 8.21
78.45/78.59	c    26342    716     7644   464896   60    17043   14466   6260   3159 8.34
78.45/78.59	c    27155    716     8457   526398   62    18669   15913   7073   3159 8.59
78.45/78.59	c    28475    716     9777   628731   64    21309   17505   8393   3181 8.95
78.45/78.59	c    30556    716    11858   791281   66    25471   19256  10474   3170 9.64
78.45/78.59	c    33780    716    15082  1045927   69    31919   21182  13698   3125 10.81
78.45/78.59	c    38716    716    20018  1411879   70    41791   23301  18634   2983 12.98
78.45/78.59	c    46222    716    14356   994596   69    30467   25632  12972   2576 17.94
78.45/78.59	c    57584    716    25718  1820957   70    53191   28196  24334   2278 25.27
78.45/78.59	c    74728    716    24980  1786977   71    51715   31016  23596   1965 38.02
78.45/78.59	c   100547    716    30205  1794088   59    62165   34118  28821   1631 61.65
78.45/78.59	o -10
1046.97/1047.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1046.97/1047.51	c   125943    716    32010  1762902   55    65785   10883  30626   1603 78.55
1046.97/1047.51	c   126043    716     6927   331713   47    15610   11972   5543   1552 81.18
1046.97/1047.51	c   126293    716     7177   347157   48    16110   13170   5793   1554 81.23
1046.97/1047.51	c   126768    716     7652   375308   49    17060   14488   6268   1557 81.37
1046.97/1047.51	c   127581    716     8465   424904   50    18686   15937   7081   1563 81.58
1046.97/1047.51	c   128901    716     9785   505622   51    21326   17531   8401   1574 81.88
1046.97/1047.51	c   130982    716    11866   622233   52    25488   19285  10482   1590 82.33
1046.97/1047.51	c   134205    716    15089   833492   55    31934   21214  13705   1610 83.35
1046.97/1047.51	c   139141    716    20025  1160402   57    41806   23336  18641   1624 85.67
1046.97/1047.51	c   146647    716    14396   861679   59    30548   25670  13012   1602 91.54
1046.97/1047.51	c   158008    716    25757  1573321   61    53270   28238  24373   1615 97.83
1046.97/1047.51	c   175152    716    25083  1487371   59    51922   31062  23699   1580 110.81
1046.97/1047.51	c   200971    716    30359  1781786   58    62474   34169  28975   1526 131.64
1046.97/1047.51	c   239803    716    22014  1243407   56    45784   37586  20630   1476 162.43
1046.97/1047.51	c   298155    716    26553  1516022   57    54862   41345  25169   1399 213.07
1046.97/1047.51	c   385787    716    22423  1405091   62    46602   45480  21039   1314 293.40
1046.97/1047.51	c   517339    716    15446   938932   60    32648   50029  14062   1202 430.22
1046.97/1047.51	c   714771    716    17781  1065408   59    37318   55032  16397   1068 669.06
1046.97/1047.51	c  1011023    716    49933  3274608   65   101622   60536  48549    983 1028.25
1046.97/1047.51	o -11
1797.98/1798.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.91	c  1019378    716    58289  3841401   65   118345   10900  56905    973 1046.99
1797.98/1798.91	c  1019478    716     6935   375764   54    15627   11991   5551    967 1053.49
1797.98/1798.91	c  1019728    716     7185   389589   54    16127   13191   5801    967 1053.58
1797.98/1798.91	c  1020203    716     7660   419983   54    17077   14511   6276    968 1053.74
1797.98/1798.91	c  1021017    716     8474   466365   55    18705   15963   7090    968 1054.03
1797.98/1798.91	c  1022337    716     9794   549514   56    21345   17560   8410    969 1054.49
1797.98/1798.91	c  1024418    716    11875   687816   57    25507   19317  10491    970 1055.12
1797.98/1798.91	c  1027641    716    15098   901357   59    31953   21249  13714    972 1056.43
1797.98/1798.91	c  1032577    716    20034  1221160   60    41825   23374  18650    975 1058.72
1797.98/1798.91	c  1040083    716    14312   853474   59    30381   25712  12928    975 1066.65
1797.98/1798.91	c  1051444    716    25673  1613992   62    53103   28284  24289    979 1073.65
1797.98/1798.91	c  1068589    716    24909  1644663   66    51575   31113  23525    983 1086.83
1797.98/1798.91	c  1094408    716    30151  1887423   62    62059   34225  28767    983 1112.35
1797.98/1798.91	c  1133240    716    21776  1223113   56    45309   37648  20392    987 1147.20
1797.98/1798.91	c  1191592    716    26199  1539271   58    54155   41413  24815    994 1198.45
1797.98/1798.91	c  1279224    716    21907  1227430   56    45571   45555  20523    988 1294.52
1797.98/1798.91	c  1410776    716    14820   901774   60    31397   50111  13436    945 1491.68
1797.98/1798.91	c  1608208    716    16743   901455   53    35243   55123  15359    928 1732.76
1797.98/1798.91	c Resources Exceeded
1797.98/1798.91	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.98/1798.91	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.91	c   81  1658394   1811  1665568    22872  1279240  21488    922 1798.00
1797.98/1798.91	c Objective: -11
1797.98/1798.91	s SATISFIABLE
1797.98/1798.91	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-1878282-1245209986/watcher-1878282-1245209986 -o /tmp/evaluation-result-1878282-1245209986/solver-1878282-1245209986 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878282-1245209986.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/65 16287
/proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=10756 CPUtime=0
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 188596507 11014144 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 2689 239 176 640 0 2032 0

[startup+0.0450969 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16287
/proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=10980 CPUtime=0.04
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 351 0 0 0 4 0 0 0 18 0 1 0 188596507 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 2745 322 189 640 0 2101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10980

[startup+0.101107 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16287
/proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=10980 CPUtime=0.09
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 188596507 11243520 322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 2745 322 189 640 0 2101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10980

[startup+0.301144 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16287
/proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=12616 CPUtime=0.29
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 782 0 0 0 29 0 0 0 19 0 1 0 188596507 12918784 753 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 3154 753 197 640 0 2510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12616

[startup+0.70122 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 16287
/proc/meminfo: memFree=1855672/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=15748 CPUtime=0.69
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 1563 0 0 0 68 1 0 0 23 0 1 0 188596507 16125952 1534 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 3937 1534 197 640 0 3293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15748

[startup+1.50137 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1848624/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=20020 CPUtime=1.49
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 2613 0 0 0 147 2 0 0 25 0 1 0 188596507 20500480 2584 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 5005 2584 197 640 0 4361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20020

[startup+3.10168 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1843632/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=23384 CPUtime=3.09
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 3453 0 0 0 306 3 0 0 25 0 1 0 188596507 23945216 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 5846 3424 197 640 0 5202 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23384

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1839920/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=28876 CPUtime=6.29
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 4819 0 0 0 624 5 0 0 25 0 1 0 188596507 29569024 4790 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 7219 4790 197 640 0 6575 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28876

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1833840/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=31992 CPUtime=12.69
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 5613 0 0 0 1262 7 0 0 25 0 1 0 188596507 32759808 5584 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 7998 5584 197 640 0 7354 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31992

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1828976/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=37252 CPUtime=25.47
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 6927 0 0 0 2538 9 0 0 25 0 1 0 188596507 38146048 6898 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 9313 6898 197 640 0 8669 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 37252

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1822256/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=43692 CPUtime=51.06
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 8550 0 0 0 5093 13 0 0 25 0 1 0 188596507 44740608 8521 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 10923 8521 197 640 0 10279 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 43692

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1822064/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=43704 CPUtime=102.24
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 8587 0 0 0 10202 22 0 0 25 0 1 0 188596507 44752896 8524 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 10926 8524 197 640 0 10282 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 43704

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1822000/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=43704 CPUtime=162.2
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 8587 0 0 0 16188 32 0 0 25 0 1 0 188596507 44752896 8524 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 10926 8524 197 640 0 10282 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 43704

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1820272/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=45652 CPUtime=222.18
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 9081 0 0 0 22176 42 0 0 25 0 1 0 188596507 46747648 8980 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 11413 8980 197 640 0 10769 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 45652

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1815088/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=50828 CPUtime=282.15
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 10417 0 0 0 28164 51 0 0 25 0 1 0 188596507 52047872 10274 1992294400 134512640 137136520 4294956256 18446744073709551615 134543806 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 12707 10274 197 640 0 12063 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 50828

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1810800/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=54904 CPUtime=342.11
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 11487 0 0 0 34149 62 0 0 25 0 1 0 188596507 56221696 11298 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 13726 11298 197 640 0 13082 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 54904

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1810736/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=55096 CPUtime=402.09
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 11530 0 0 0 40138 71 0 0 25 0 1 0 188596507 56418304 11341 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 13774 11341 197 640 0 13130 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 55096

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1808816/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=57260 CPUtime=462.06
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12093 0 0 0 46126 80 0 0 25 0 1 0 188596507 58634240 11904 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 14315 11904 197 640 0 13671 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 57260

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1806448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=59404 CPUtime=522.04
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12657 0 0 0 52116 88 0 0 25 0 1 0 188596507 60829696 12418 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 14851 12418 197 640 0 14207 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 59404

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1806448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=59404 CPUtime=582
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12657 0 0 0 58107 93 0 0 25 0 1 0 188596507 60829696 12418 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 14851 12418 197 640 0 14207 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 59404

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16288
/proc/meminfo: memFree=1806384/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=59404 CPUtime=641.98
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 12657 0 0 0 64098 100 0 0 25 0 1 0 188596507 60829696 12418 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 14851 12418 197 640 0 14207 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 59404

[startup+702.302 s]

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

/proc/meminfo: memFree=1799024/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1061.77
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 106024 153 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 66356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16289
/proc/meminfo: memFree=1798832/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1121.74
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 112012 162 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 66356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16289
/proc/meminfo: memFree=1798832/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1181.71
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 118000 171 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 66356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16290
/proc/meminfo: memFree=1798768/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1241.68
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 123989 179 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1241.68
Current children cumulated vsize (KiB) 66356

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1301.65
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 129978 187 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136503524 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 66356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1361.63
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 135970 193 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 66356

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1421.59
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 141958 201 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 66356

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1481.56
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 147948 208 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 66356

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798760/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1541.53
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 153939 214 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 66356

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798704/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1601.49
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 159929 220 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 66356

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798640/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1661.47
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 165919 228 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 66356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798576/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1721.44
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 171910 234 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1721.44
Current children cumulated vsize (KiB) 66356

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1781.38
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 177898 240 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 66356

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1790.98
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 178858 240 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1790.98
Current children cumulated vsize (KiB) 66356

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1794.19
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179178 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1794.19
Current children cumulated vsize (KiB) 66356

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1795.78
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179337 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1795.78
Current children cumulated vsize (KiB) 66356

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1797.38
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179497 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1797.38
Current children cumulated vsize (KiB) 66356

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1797.78
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179537 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 66356

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16296
/proc/meminfo: memFree=1798448/2055920 swapFree=4178232/4192956
[pid=16287] ppid=16285 vsize=66356 CPUtime=1797.98
/proc/16287/stat : 16287 (bsolo) R 16285 16287 15569 0 -1 4194304 14525 0 0 0 179557 241 0 0 25 0 1 0 188596507 67948544 14175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/16287/statm: 16589 14175 197 640 0 15945 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 66356

Child status: 0
Real time (s): 1798.92
CPU time (s): 1798.01
CPU user time (s): 1795.58
CPU system time (s): 2.42863
CPU usage (%): 99.9494
Max. virtual memory (cumulated for all children) (KiB): 66356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.58
system time used= 2.42863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14527
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= 3
involuntary context switches= 6704

runsolver used 2.24166 second user time and 4.07038 second system time

The end

Launcher Data 

Begin job on node91 at 2009-06-17 05:39:46
IDJOB=1878282
IDBENCH=48262
IDSOLVER=700
FILE ID=node91/1878282-1245209986
PBS_JOBID= 9368359
Free space on /tmp= 66444 MiB

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

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

MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e
RANDOM SEED=1493022765

node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.261
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.261
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1856216 kB
Buffers:         21948 kB
Cached:         108984 kB
SwapCached:       8264 kB
Active:          27204 kB
Inactive:       113572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856216 kB
SwapTotal:     4192956 kB
SwapFree:      4178232 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          15500 kB
Slab:            44792 kB
Committed_AS:    95264 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878282-1245209986.opb

Free space on /tmp at the end= 66440 MiB
End job on node91 at 2009-06-17 06:09:45