Trace number 1880415

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 pbSAT57828 1798.16 1798.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM75f6d21683e6eb738b98c93cf5598ff3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22199
Best CPU time to get the best result obtained on this benchmark0.415936
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22199
Optimality of the best value was proved YES
Number of variables572
Total number of constraints126
Number of constraints which are clauses3
Number of constraints which are cardinality constraints (but not clauses)54
Number of constraints which are nor clauses,nor cardinality constraints69
Minimum length of a constraint4
Maximum length of a constraint518
Number of terms in the objective function 572
Biggest coefficient in the objective function 5000
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 547769
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 547769
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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: Generic Pseudo-Boolean 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-1880415-1245133366.opb
0.00/0.00	c File size is 42319 bytes.
0.00/0.00	c Highest Coefficient sum: 547769
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: 572 Constr: 215 58/153/4 Lit: 6215 Watch. Lit: 2659
0.00/0.00	c Obj. Vars: 572 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.023 s
0.06/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.06	c        0    566      215     6215   28     2683   23030      0      0 0.02
0.06/0.06	c Initial Lower Bound: 22199
0.06/0.06	c Initial Path Cost: 0
0.29/0.36	c      102    566      409    50261  122    15498   25334    194    465 0.22
0.29/0.36	o 186311
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c      159    566      519    87788  169    23457   24162    304    440 0.36
1.19/1.21	o 185764
2.39/2.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.44	c      160    566      522    88486  169    23002   24162    307    131 1.22
2.39/2.44	o 181701
2.99/3.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.04	c      205    566      630   128227  203    25997   24162    415     83 2.45
2.99/3.04	o 74721
3.59/3.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.68	c      205    566      631   128793  204    26236   24162    416     67 3.05
3.59/3.68	o 73892
9.29/9.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.36	c      208    566      641   131665  205    26473   24162    426     56 3.69
9.29/9.36	c      311    566      880   213762  242    34865   26579    665     60 5.15
9.29/9.36	c      561    566     1423   423122  297    66695   29237   1208     76 7.38
9.29/9.36	o 71530
10.18/10.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.18/10.20	c      765    566     1831   579719  316    96691   24162   1616     81 9.36
10.18/10.20	o 71465
12.69/12.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.69/12.70	c      783    566     1882   597403  317    96925   24162   1667     76 10.20
12.69/12.70	c      891    566     2119   686360  323   108810   26579   1904     75 11.83
12.69/12.70	o 70986
13.49/13.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.49/13.54	c      910    566     2170   704714  324   112311   24162   1955     71 12.70
13.49/13.54	o 70875
54.57/54.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
54.57/54.70	c      925    566     2214   720234  325   113198   24162   1999     68 13.54
54.57/54.70	c     1028    566     2463   818306  332   121640   26579   2248     67 15.31
54.57/54.70	c     1283    566     3081  1052817  341   146475   29237   2866     67 19.08
54.57/54.70	c     1761    566     4512  1580250  350   139934   32161   4297     72 24.31
54.57/54.70	c     2575    566     6743  2499180  370   183072   35378   6528     79 32.40
54.57/54.70	c     3895    566     9551  3556178  372   325912   38916   9336     72 53.73
54.57/54.70	o 70801
182.52/182.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.52/182.69	c     3908    566     9589  3569476  372   326353   24162   9374     71 54.68
182.52/182.69	c     4012    566     9901  3645008  368   304218   26579   9686     70 56.76
182.52/182.69	c     4262    566    10491  3820355  364   333844   29237  10276     68 61.97
182.52/182.69	c     4737    566    11438  4154613  363   409697   32161  11223     64 73.56
182.52/182.69	c     5552    566    13461  4777968  354   449266   35378  13246     60 92.52
182.52/182.69	c     6876    566    16284  5836218  358   548953   38916  16069     56 121.47
182.52/182.69	c     8958    566    21344  7738402  362   658143   42808  21129     50 178.29
182.52/182.69	o 68504
224.71/224.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
224.71/224.80	c     9146    566    21882  7906783  361   651904   24162  21667     50 182.62
224.71/224.80	c     9247    566    22124  7983581  360   656539   26579  21909     49 185.38
224.71/224.80	c     9497    566    22669  8188027  361   674937   29237  22454     49 191.97
224.71/224.80	c     9972    566    24083  8652031  359   640426   32161  23868     49 202.36
224.71/224.80	c    10786    566    26305  9495334  360   690457   35378  26090     48 223.56
224.71/224.80	o 68212
247.30/247.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
247.30/247.44	c    10802    566    26348  9509057  360   697662   24162  26133     48 224.72
247.30/247.44	o 67461
257.20/257.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
257.20/257.38	c    10815    566    12337  4376391  354   430624   24162  12122     43 247.34
257.20/257.38	c    10917    566    12560  4454145  354   435555   26579  12345     43 249.61
257.20/257.38	c    11174    566    13323  4693249  352   444057   29237  13108     43 255.41
257.20/257.38	o 67155
343.46/343.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
343.46/343.69	c    11217    566    13425  4730033  352   445502   24162  13210     43 257.29
343.46/343.69	c    11317    566    13626  4800432  352   458077   26579  13411     43 261.01
343.46/343.69	c    11567    566    14209  5029367  353   464685   29237  13994     42 269.90
343.46/343.69	c    12043    566    15245  5426260  355   514074   32161  15030     42 286.18
343.46/343.69	c    12856    566    16872  5976781  354   538621   35378  16657     42 304.01
343.46/343.69	c    14177    566    19430  6933841  356   716336   38916  19215     41 342.43
343.46/343.69	o 67087
361.05/361.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
361.05/361.28	c    14199    566    19494  6955814  356   715599   24162  19279     41 343.56
361.05/361.28	c    14299    566    19717  7043816  357   723953   26579  19502     41 347.15
361.05/361.28	c    14549    566    20241  7240932  357   741260   29237  20026     40 356.13
361.05/361.28	o 67054
640.34/640.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
640.34/640.60	c    14786    566    20950  7427087  354   722711   24162  20735     40 361.15
640.34/640.60	c    14886    566    21244  7499075  352   676393   26579  21029     40 363.09
640.34/640.60	c    15147    566    22011  7704436  350   673008   29237  21796     41 367.08
640.34/640.60	c    15623    566    23276  8087391  347   745670   32161  23061     41 378.53
640.34/640.60	c    16441    566    25036  8753555  349   777664   35378  24821     40 409.00
640.34/640.60	c    17764    566    27552  9679608  351   888912   38916  27337     36 485.81
640.34/640.60	c    19845    566    31498 11172395  354  1026041   42808  31283     32 612.59
640.34/640.60	o 66247
702.32/702.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
702.32/702.68	c    20267    566    32447 11498301  354  1045490   24162  32232     31 640.36
702.32/702.68	o 66241
927.54/927.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
927.54/927.96	c    20303    566    12375  4315876  348   581770   24162  12160     28 702.41
927.54/927.96	c    20415    566    12648  4420406  349   582071   26579  12433     28 706.89
927.54/927.96	c    20667    566    13260  4640156  349   587413   29237  13045     28 714.61
927.54/927.96	c    21142    566    14640  5065581  346   589020   32161  14425     29 724.07
927.54/927.96	c    21961    566    16466  5691292  345   660736   35378  16251     29 754.04
927.54/927.96	c    23281    566    19164  6766263  353   695215   38916  18949     28 809.19
927.54/927.96	c    25363    566    22943  8092290  352  1032520   42808  22728     27 923.03
927.54/927.96	o 62641
1653.67/1654.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1653.67/1654.35	c    25423    566    23067  8137075  352  1015655   24162  22852     27 927.61
1653.67/1654.35	c    25523    566    23329  8228817  352  1003447   26579  23114     27 934.13
1653.67/1654.35	c    25781    566    23928  8461022  353   995972   29237  23713     27 953.23
1653.67/1654.35	c    26266    566    24977  8852159  354  1006107   32161  24762     26 985.07
1653.67/1654.35	c    27079    566    26723  9426147  352  1077224   35378  26508     26 1022.54
1653.67/1654.35	c    28400    566    29594 10555898  356  1120283   38916  29379     26 1090.13
1653.67/1654.35	c    30485    566    34700 12559746  361  1181877   42808  34485     25 1188.30
1653.67/1654.35	c    33716    566    43006 15774752  366  1222705   47089  42791     23 1406.68
1653.67/1654.35	o 59182
1673.56/1674.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1673.56/1674.22	c    36006    566    21505  8329761  387   805748   24162  21290     21 1653.73
1673.56/1674.22	c    36106    566    21779  8411411  386   752352   26579  21564     21 1656.74
1673.56/1674.22	c    36361    566    22540  8664265  384   723653   29237  22325     21 1663.33
1673.56/1674.22	o 58440
1675.66/1676.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1675.66/1676.39	c    36626    566    23245  8912798  383   771801   24162  23030     21 1673.59
1675.66/1676.39	o 57828
1798.10/1798.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.10/1798.81	c    36668    566    23363  8953848  383   787294   24162  23148     21 1675.76
1798.10/1798.81	c    36769    566    23652  9049662  382   753668   26579  23437     21 1678.61
1798.10/1798.81	c    37028    566    24427  9301400  380   739692   29237  24212     21 1685.69
1798.10/1798.81	c    37505    566    25858  9769791  377   720376   32161  25643     22 1695.59
1798.10/1798.81	c    38318    566    28018 10631132  379   816220   35378  27803     22 1726.44
1798.10/1798.81	c    39639    566    31664 11827122  373   839203   38916  31449     22 1759.69
1798.10/1798.81	c Resources Exceeded
1798.10/1798.81	v -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 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 -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 -x51 -x52 -x53 -x54 
1798.10/1798.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.10/1798.81	c   76    40293   4559    74245    33058 12328435  32843     22 1798.12
1798.10/1798.81	c Objective: 57828
1798.10/1798.81	s SATISFIABLE
1798.10/1798.81	c Total time: 1798.12 s

Verifier Data 

OK	57828

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880415-1245133366/watcher-1880415-1245133366 -o /tmp/evaluation-result-1880415-1245133366/solver-1880415-1245133366 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880415-1245133366.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 0.99 0.99 3/64 3325
/proc/meminfo: memFree=913984/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=18564 CPUtime=0
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 180935923 19009536 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 4641 227 174 640 0 3986 0

[startup+0.063366 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3325
/proc/meminfo: memFree=913984/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=11992 CPUtime=0.06
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 586 0 0 0 6 0 0 0 18 0 1 0 180935923 12279808 541 1992294400 134512640 137136520 4294956256 18446744073709551615 134732448 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 2998 541 286 640 0 2354 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11992

[startup+0.101369 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3325
/proc/meminfo: memFree=913984/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=11276 CPUtime=0.09
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 180935923 11546624 503 1992294400 134512640 137136520 4294956256 18446744073709551615 136502067 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 2819 503 292 640 0 2175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11276

[startup+0.301391 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3325
/proc/meminfo: memFree=913984/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=12332 CPUtime=0.29
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 888 0 0 0 29 0 0 0 20 0 1 0 180935923 12627968 752 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 3083 752 292 640 0 2439 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12332

[startup+0.701435 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 3325
/proc/meminfo: memFree=913984/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=13512 CPUtime=0.69
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 6176 0 0 0 67 2 0 0 23 0 1 0 180935923 13836288 893 1992294400 134512640 137136520 4294956256 18446744073709551615 135467054 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 3378 893 292 640 0 2734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13512

[startup+1.50153 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=911416/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=13528 CPUtime=1.49
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 18216 0 0 0 143 6 0 0 25 0 1 0 180935923 13852672 899 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 3382 899 293 640 0 2738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13528

[startup+3.1017 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=911288/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=13216 CPUtime=3.09
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 40836 0 0 0 297 12 0 0 25 0 1 0 180935923 13533184 999 1992294400 134512640 137136520 4294956256 18446744073709551615 134826721 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 3304 999 293 640 0 2660 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13216

[startup+6.30206 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=909240/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=16704 CPUtime=6.29
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 77409 0 0 0 604 25 0 0 25 0 1 0 180935923 17104896 1846 1992294400 134512640 137136520 4294956256 18446744073709551615 134846833 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 4176 1846 295 640 0 3532 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16704

[startup+12.7018 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=901368/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=23472 CPUtime=12.69
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 130519 0 0 0 1228 41 0 0 25 0 1 0 180935923 24035328 3411 1992294400 134512640 137136520 4294956256 18446744073709551615 136503955 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 5868 3411 295 640 0 5224 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23472

[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=888632/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=36120 CPUtime=25.47
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 250307 0 0 0 2465 82 0 0 25 0 1 0 180935923 36986880 6580 1992294400 134512640 137136520 4294956256 18446744073709551615 135374666 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 9030 6582 295 640 0 8386 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 36120

[startup+51.101 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=861048/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=62896 CPUtime=51.06
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 381507 0 0 0 4975 131 0 0 25 0 1 0 180935923 64405504 13421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 15724 13421 295 640 0 15080 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 62896

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=835320/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=88872 CPUtime=102.25
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 549093 0 0 0 10032 193 0 0 25 0 1 0 180935923 91004928 19803 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 22218 19803 295 640 0 21574 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 88872

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=804280/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=119940 CPUtime=162.23
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 692357 0 0 0 15975 248 0 0 25 0 1 0 180935923 122818560 27622 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 29985 27622 295 640 0 29341 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 119940

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=774072/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=149624 CPUtime=222.21
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 924677 0 0 0 21888 333 0 0 25 0 1 0 180935923 153214976 35103 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 37406 35103 295 640 0 36762 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 149624

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=773368/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=150504 CPUtime=282.18
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 938973 0 0 0 27879 339 0 0 25 0 1 0 180935923 154116096 35273 1992294400 134512640 137136520 4294956256 18446744073709551615 136502082 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 37626 35273 295 640 0 36982 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 150504

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=773368/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=150504 CPUtime=342.16
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 938973 0 0 0 33875 341 0 0 25 0 1 0 180935923 154116096 35273 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 37626 35273 295 640 0 36982 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 150504

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=773304/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=150504 CPUtime=402.14
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 938973 0 0 0 39872 342 0 0 25 0 1 0 180935923 154116096 35273 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 37626 35273 295 640 0 36982 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 150504

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=769912/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=153772 CPUtime=462.12
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 952979 0 0 0 45864 348 0 0 25 0 1 0 180935923 157462528 36140 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 38443 36140 295 640 0 37799 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 153772

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=761144/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=162988 CPUtime=522.09
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1022935 0 0 0 51837 372 0 0 25 0 1 0 180935923 166899712 38345 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 40747 38345 295 640 0 40103 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 162988

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=749112/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=174440 CPUtime=582.07
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1084970 0 0 0 57810 397 0 0 25 0 1 0 180935923 178626560 41307 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 43610 41307 295 640 0 42966 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 174440

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=739256/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=184408 CPUtime=642.05
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1135617 0 0 0 63791 414 0 0 25 0 1 0 180935923 188833792 43767 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 46102 43767 295 640 0 45458 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 184408

[startup+702.301 s]

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

/proc/meminfo: memFree=739256/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=184408 CPUtime=1121.87
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1135622 0 0 0 111769 418 0 0 25 0 1 0 180935923 188833792 43772 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 46102 43772 295 640 0 45458 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 184408

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=724280/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=199504 CPUtime=1181.84
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1231107 0 0 0 117731 453 0 0 25 0 1 0 180935923 204292096 47573 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 49876 47573 295 640 0 49232 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 199504

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=711928/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=211612 CPUtime=1241.81
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1313474 0 0 0 123696 485 0 0 25 0 1 0 180935923 216690688 50592 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 52903 50592 295 640 0 52259 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 211612

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=699832/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=223556 CPUtime=1301.8
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1385012 0 0 0 129666 514 0 0 25 0 1 0 180935923 228921344 53586 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 55889 53586 295 640 0 55245 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 223556

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=688504/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=234896 CPUtime=1361.77
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1453558 0 0 0 135636 541 0 0 25 0 1 0 180935923 240533504 56421 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 58724 56421 295 640 0 58080 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 234896

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=676280/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=247080 CPUtime=1421.75
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1539972 0 0 0 141599 576 0 0 25 0 1 0 180935923 253009920 59467 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 61770 59467 295 640 0 61126 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 247080

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=662328/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=261024 CPUtime=1481.72
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1604875 0 0 0 147573 599 0 0 25 0 1 0 180935923 267288576 62953 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 65256 62953 295 640 0 64612 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 261024

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=651832/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271656 CPUtime=1541.71
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1649035 0 0 0 153553 618 0 0 25 0 1 0 180935923 278175744 65579 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67914 65579 295 640 0 67270 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 271656

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=651832/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271656 CPUtime=1601.69
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1649035 0 0 0 159551 618 0 0 25 0 1 0 180935923 278175744 65579 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67914 65579 295 640 0 67270 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 271656

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=651832/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271460 CPUtime=1661.66
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1662745 0 0 0 165541 625 0 0 25 0 1 0 180935923 277975040 65562 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67865 65562 295 640 0 67221 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 271460

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 3326
/proc/meminfo: memFree=651832/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1721.64
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1674187 0 0 0 171532 632 0 0 25 0 1 0 180935923 278183936 65579 1992294400 134512640 137136520 4294956256 18446744073709551615 135982523 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65579 295 640 0 67272 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 271664

[startup+1782.3 s]
/proc/loadavg: 1.08 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651704/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271676 CPUtime=1781.61
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675076 0 0 0 177527 634 0 0 25 0 1 0 180935923 278196224 65580 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67919 65580 295 640 0 67275 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 271676

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

[startup+1791.91 s]
/proc/loadavg: 1.07 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651768/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1791.21
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675084 0 0 0 178487 634 0 0 25 0 1 0 180935923 278183936 65569 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65569 295 640 0 67272 0
Current children cumulated CPU time (s) 1791.21
Current children cumulated vsize (KiB) 271664

[startup+1795.1 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651768/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1794.41
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675084 0 0 0 178807 634 0 0 25 0 1 0 180935923 278183936 65569 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65569 295 640 0 67272 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 271664

[startup+1796.7 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651768/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1796
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675084 0 0 0 178966 634 0 0 25 0 1 0 180935923 278183936 65569 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65569 295 640 0 67272 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 271664

[startup+1797.5 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651768/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1796.8
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675084 0 0 0 179046 634 0 0 25 0 1 0 180935923 278183936 65569 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65569 295 640 0 67272 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 271664

[startup+1798.3 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651768/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1797.6
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675084 0 0 0 179126 634 0 0 25 0 1 0 180935923 278183936 65569 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65569 295 640 0 67272 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 271664

[startup+1798.7 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651768/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1798
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675084 0 0 0 179166 634 0 0 25 0 1 0 180935923 278183936 65569 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65569 295 640 0 67272 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 271664

[startup+1798.8 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 3328
/proc/meminfo: memFree=651768/2055920 swapFree=4192952/4192956
[pid=3325] ppid=3323 vsize=271664 CPUtime=1798.1
/proc/3325/stat : 3325 (bsolo) R 3323 3325 2849 0 -1 4194304 1675084 0 0 0 179176 634 0 0 25 0 1 0 180935923 278183936 65569 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3325/statm: 67916 65569 295 640 0 67272 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 271664

Child status: 0
Real time (s): 1798.85
CPU time (s): 1798.16
CPU user time (s): 1791.78
CPU system time (s): 6.38303
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 271904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.78
system time used= 6.38303
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1675086
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= 2
involuntary context switches= 5607

runsolver used 1.88071 second user time and 4.66629 second system time

The end

Launcher Data 

Begin job on node35 at 2009-06-16 08:22:46
IDJOB=1880415
IDBENCH=1855
IDSOLVER=701
FILE ID=node35/1880415-1245133366
PBS_JOBID= 9363679
Free space on /tmp= 66136 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880415-1245133366/watcher-1880415-1245133366 -o /tmp/evaluation-result-1880415-1245133366/solver-1880415-1245133366 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880415-1245133366.opb

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

MD5SUM BENCH= 75f6d21683e6eb738b98c93cf5598ff3
RANDOM SEED=825697617

node35.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.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:        914464 kB
Buffers:         84404 kB
Cached:         958644 kB
SwapCached:          4 kB
Active:          86232 kB
Inactive:       970696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        914464 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            3988 kB
Writeback:           0 kB
Mapped:          23724 kB
Slab:            70592 kB
Committed_AS:   165268 kB
PageTables:       1400 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= 66132 MiB
End job on node35 at 2009-06-16 08:52:45