Trace number 2670601

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 CardOPT3 1388.93 1389.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
MD5SUM12f1f3305860fafcd361cd1c61e0d104
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark20.7478
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670601-1276703327.opb
0.00/0.00	c File size is 33487 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    616      918     3856    4     3312    5173      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
378.07/378.24	c      101    616     1104    12521   11     3723    5691    186   2885 0.04
378.07/378.24	c      251    616     1376    26624   19     4397    6261    458   3585 0.07
378.07/378.24	c      476    616     1803    48502   26     5495    6888    885   3718 0.13
378.07/378.24	c      815    616     2461    82643   33     7231    7577   1543   3590 0.23
378.07/378.24	c     1323    616     3395   131242   38     9592    8335   2477   3409 0.39
378.07/378.24	c     2086    616     4847   213485   44    13222    9169   3929   3375 0.62
378.07/378.24	c     3233    616     6954   328218   47    18377   10086   6036   2735 1.18
378.07/378.24	c     4955    616    10276   491338   47    26755   11095   9358   2106 2.35
378.07/378.24	c     7539    616     9263   478389   51    23726   12205   8345   2074 3.63
378.07/378.24	c    11419    616    10208   535141   52    26359   13426   9290   2072 5.51
378.07/378.24	c    17243    616    14327   726176   50    37057   14769  13409   1700 10.14
378.07/378.24	c    25981    616    15485   820382   52    39445   16246  14567   1294 20.07
378.07/378.24	c    39092    616    14716   932701   63    36263   17871  13798   1014 38.55
378.07/378.24	c    58762    616    14057   860872   61    31679   19659  13139    918 63.96
378.07/378.24	c    88273    615    16556   975219   58    39095   21625  15638    859 102.65
378.07/378.24	c   132543    615    21815  1259973   57    53403   23788  20897    691 191.54
378.07/378.24	c   198953    615    18494   982899   53    45473   26167  17576    566 350.93
378.07/378.24	o 153
538.73/538.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
538.73/538.96	c   212017    615    15312   833967   54    37225    5189  14394    560 378.13
538.73/538.96	c   212119    615     3705   173926   46     9545    5708   2787    560 378.29
538.73/538.96	c   212369    615     4174   205038   49    10709    6279   3256    561 378.36
538.73/538.96	c   212845    615     5104   267225   52    12958    6907   4186    562 378.51
538.73/538.96	c   213659    615     6675   362001   54    16929    7598   5757    563 378.83
538.73/538.96	c   214979    615     5272   255865   48    14091    8358   4354    565 379.84
538.73/538.96	c   217061    615     9002   466957   51    23333    9194   8084    568 381.65
538.73/538.96	c   220286    615    10097   538670   53    25710   10114   9179    574 383.23
538.73/538.96	c   225223    615     8823   432794   49    22908   11126   7905    582 386.69
538.73/538.96	c   232730    615    11549   563721   48    31343   12239  10631    588 395.70
538.73/538.96	c   244093    615     7743   425993   55    19668   13463   6825    601 405.75
538.73/538.96	c   261238    615    10170   527053   51    26640   14810   9252    616 423.75
538.73/538.96	c   287058    615    11200   639397   57    26724   16292  10282    639 448.98
538.73/538.96	c   325891    615    15803  1149591   72    40852   17922  14885    633 514.49
538.73/538.96	o 39
628.91/629.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
628.91/629.10	c   343912    615    12084   621987   51    30871    5189  11166    638 538.80
628.91/629.10	c   344012    606     3706   168908   45     9898    5708   2788    638 538.92
628.91/629.10	c   344262    606     4199   198642   47    11169    6279   3281    638 538.98
628.91/629.10	c   344737    606     5108   247881   48    13691    6907   4190    639 539.12
628.91/629.10	c   345550    606     6671   325516   48    18174    7598   5753    640 539.47
628.91/629.10	c   346870    606     5269   242094   45    14598    8358   4351    641 540.41
628.91/629.10	c   348951    606     8983   443437   49    24124    9194   8065    643 542.46
628.91/629.10	c   352175    606     5620   249340   44    15857   10114   4702    645 545.20
628.91/629.10	c   357112    606     9357   459557   49    24248   11126   8439    647 551.56
628.91/629.10	c   364618    606    11886   591211   49    31702   12239  10968    650 560.15
628.91/629.10	c   375979    595     7507   366257   48    19422   13463   6589    654 574.84
628.91/629.10	c   393124    595    11489   759237   66    28896   14810  10571    664 591.73
628.91/629.10	c   418944    595    12488   661022   52    32909   16292  11570    680 616.00
628.91/629.10	o 33
905.61/905.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
905.61/905.98	c   432089    595    16504   865533   52    39279    5185  15586    687 628.92
905.61/905.98	c   432189    595     3696   155101   41     9239    5704   2778    686 629.23
905.61/905.98	c   432439    595     4070   173069   42    10152    6275   3152    687 629.33
905.61/905.98	c   432914    595     4906   226650   46    12149    6903   3988    687 629.51
905.61/905.98	c   433727    595     6489   324631   50    16324    7594   5571    688 629.78
905.61/905.98	c   435047    595     4733   244448   51    12407    8354   3815    690 630.33
905.61/905.98	c   437129    595     8698   457684   52    23287    9190   7780    692 631.63
905.61/905.98	c   440353    595     9959   500403   50    26626   10110   9041    693 635.08
905.61/905.98	c   445289    595     8742   428766   49    22881   11122   7824    695 640.09
905.61/905.98	c   452796    595    10550   513822   48    27870   12235   9632    698 647.89
905.61/905.98	c   464157    595    11937   598711   50    30288   13459  11019    699 663.69
905.61/905.98	c   481301    595     9179   458870   49    22719   14805   8261    703 684.48
905.61/905.98	c   507120    594    10297   563033   54    25353   16286   9379    715 709.20
905.61/905.98	c   545953    594    12214   609744   49    31333   17915  11296    697 782.60
905.61/905.98	c   604305    594     9886   493669   49    25677   19707   8968    685 881.58
905.61/905.98	o 9
906.12/906.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
906.12/906.46	c   622593    593    12093   657549   54    29234    5185  11175    687 905.71
906.12/906.46	c   622694    584     3714   167731   45     9651    5704   2796    687 905.88
906.12/906.46	c   622945    584     4196   195562   46    10876    6275   3278    687 905.96
906.12/906.46	c   623420    573     5125   239720   46    13610    6903   4207    688 906.10
906.12/906.46	o 3
1388.88/1389.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1388.88/1389.35	c   623651    573     5543   259287   46    14713    5181   4625    688 906.18
1388.88/1389.35	c   623751    542     5734   270287   47    15193    5700   4816    688 906.22
1388.88/1389.35	c   624002    542     6229   301198   48    16452    6271   5311    688 906.29
1388.88/1389.35	c   624477    542     7153   360250   50    18552    6899   6235    688 906.47
1388.88/1389.35	c   625291    542     5072   249059   49    13297    7589   4154    689 906.89
1388.88/1389.35	c   626612    542     7588   381531   50    20110    8348   6670    690 907.68
1388.88/1389.35	c   628693    542     7188   334634   46    19944    9183   6270    691 909.26
1388.88/1389.35	c   631916    542     8183   405007   49    21709   10102   7265    693 911.05
1388.88/1389.35	c   636852    542     6645   310312   46    18130   11113   5727    696 914.93
1388.88/1389.35	c   644359    542     8669   431756   49    22057   12225   7751    696 924.49
1388.88/1389.35	c   655721    542     9394   469508   49    23683   13448   8476    696 940.85
1388.88/1389.35	c   672866    542    12916   721458   55    31837   14793  11998    701 958.53
1388.88/1389.35	c   698686    541    13868   739057   53    34500   16273  12950    704 992.00
1388.88/1389.35	c   737519    541    10870   572550   52    26361   17901   9952    705 1045.69
1388.88/1389.35	c   795872    540    18151   912713   50    48174   19692  17233    704 1129.35
1388.88/1389.35	c   883506    540    18417   963207   52    46336   21662  17499    678 1301.70
1388.88/1389.35	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 -x51 x52 -x53 -x54 -x55 -x56 x57 x58 x59 -x60 -x61 x62 x63 -x64 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 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 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 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 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 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 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 x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 
1388.88/1389.35	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1388.88/1389.35	c   79   925700   8377   965308    15639   670111  14721    666 1388.93
1388.88/1389.35	c Objective: 3
1388.88/1389.35	s OPTIMUM FOUND
1388.88/1389.35	c Total time: 1388.93 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670601-1276703327/watcher-2670601-1276703327 -o /tmp/evaluation-result-2670601-1276703327/solver-2670601-1276703327 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670601-1276703327.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 0.98 3/106 17794
/proc/meminfo: memFree=1876512/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=10924 CPUtime=0
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 381 0 0 0 0 0 0 0 18 0 1 0 11623669 11186176 291 1992294400 134512640 137138936 4292151120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 2731 291 184 642 0 2087 0

[startup+0.0104631 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 17794
/proc/meminfo: memFree=1876512/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=10924 CPUtime=0
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 11623669 11186176 291 1992294400 134512640 137138936 4292151120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 2731 293 185 642 0 2087 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10924

[startup+0.101475 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 17794
/proc/meminfo: memFree=1876512/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=11440 CPUtime=0.09
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 524 0 0 0 9 0 0 0 20 0 1 0 11623669 11714560 434 1992294400 134512640 137138936 4292151120 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 2860 434 192 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.301504 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 17794
/proc/meminfo: memFree=1876512/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=12588 CPUtime=0.29
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 787 0 0 0 29 0 0 0 20 0 1 0 11623669 12890112 697 1992294400 134512640 137138936 4292151120 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 3147 697 192 642 0 2503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12588

[startup+0.701562 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 17794
/proc/meminfo: memFree=1876512/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=14396 CPUtime=0.69
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 1258 0 0 0 68 1 0 0 20 0 1 0 11623669 14741504 1168 1992294400 134512640 137138936 4292151120 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 3599 1168 192 642 0 2955 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14396

[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17795
/proc/meminfo: memFree=1871668/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=16584 CPUtime=1.49
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 1801 0 0 0 148 1 0 0 23 0 1 0 11623669 16982016 1711 1992294400 134512640 137138936 4292151120 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 4146 1711 192 642 0 3502 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16584

[startup+3.10091 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17795
/proc/meminfo: memFree=1869064/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=20584 CPUtime=3.09
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 2791 0 0 0 307 2 0 0 25 0 1 0 11623669 21078016 2701 1992294400 134512640 137138936 4292151120 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 5146 2701 192 642 0 4502 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20584

[startup+6.30138 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17795
/proc/meminfo: memFree=1865096/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=21860 CPUtime=6.29
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 3124 0 0 0 626 3 0 0 25 0 1 0 11623669 22384640 3034 1992294400 134512640 137138936 4292151120 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 5465 3034 192 642 0 4821 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21860

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17797
/proc/meminfo: memFree=1863252/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=23528 CPUtime=12.69
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 3548 0 0 0 1263 6 0 0 25 0 1 0 11623669 24092672 3458 1992294400 134512640 137138936 4292151120 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 5882 3458 192 642 0 5238 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23528

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17797
/proc/meminfo: memFree=1861640/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=25516 CPUtime=25.49
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 4030 0 0 0 2540 9 0 0 25 0 1 0 11623669 26128384 3940 1992294400 134512640 137138936 4292151120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 6379 3940 192 642 0 5735 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25516

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17797
/proc/meminfo: memFree=1858540/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=28340 CPUtime=51.08
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 4745 0 0 0 5094 14 0 0 25 0 1 0 11623669 29020160 4655 1992294400 134512640 137138936 4292151120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 7085 4655 192 642 0 6441 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28340

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17799
/proc/meminfo: memFree=1857424/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=29200 CPUtime=102.27
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 4954 0 0 0 10202 25 0 0 25 0 1 0 11623669 29900800 4864 1992294400 134512640 137138936 4292151120 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 7300 4864 192 642 0 6656 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29200

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17801
/proc/meminfo: memFree=1854944/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=31704 CPUtime=162.24
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 5582 0 0 0 16186 38 0 0 25 0 1 0 11623669 32464896 5492 1992294400 134512640 137138936 4292151120 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 7926 5492 192 642 0 7282 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 31704

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17801
/proc/meminfo: memFree=1853704/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=32936 CPUtime=222.22
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 5891 0 0 0 22173 49 0 0 25 0 1 0 11623669 33726464 5801 1992294400 134512640 137138936 4292151120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8234 5801 192 642 0 7590 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 32936

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17803
/proc/meminfo: memFree=1853704/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=32936 CPUtime=282.21
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 5891 0 0 0 28163 58 0 0 25 0 1 0 11623669 33726464 5801 1992294400 134512640 137138936 4292151120 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8234 5801 192 642 0 7590 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 32936

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 17805
/proc/meminfo: memFree=1853704/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=32936 CPUtime=342.19
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 5891 0 0 0 34153 66 0 0 25 0 1 0 11623669 33726464 5801 1992294400 134512640 137138936 4292151120 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8234 5801 192 642 0 7590 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32936

[startup+402.301 s]
/proc/loadavg: 1.06 1.01 0.99 2/107 17807
/proc/meminfo: memFree=1852960/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33528 CPUtime=402.17
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 40138 79 0 0 25 0 1 0 11623669 34332672 5957 1992294400 134512640 137138936 4292151120 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8382 5957 192 642 0 7738 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 33528

[startup+462.301 s]
/proc/loadavg: 1.02 1.01 0.99 2/107 17809
/proc/meminfo: memFree=1852960/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33524 CPUtime=462.16
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 46125 91 0 0 25 0 1 0 11623669 34328576 5956 1992294400 134512640 137138936 4292151120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8381 5956 192 642 0 7737 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 33524

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17809
/proc/meminfo: memFree=1852960/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33520 CPUtime=522.14
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 52113 101 0 0 25 0 1 0 11623669 34324480 5955 1992294400 134512640 137138936 4292151120 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8380 5955 192 642 0 7736 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 33520

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17811
/proc/meminfo: memFree=1852836/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33516 CPUtime=582.11
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 58098 113 0 0 25 0 1 0 11623669 34320384 5954 1992294400 134512640 137138936 4292151120 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8379 5954 192 642 0 7735 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 33516

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17813
/proc/meminfo: memFree=1852836/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33512 CPUtime=642.11
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 64084 127 0 0 25 0 1 0 11623669 34316288 5953 1992294400 134512640 137138936 4292151120 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8378 5953 192 642 0 7734 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 33512

[startup+702.302 s]

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

/proc/meminfo: memFree=1852712/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33508 CPUtime=702.08
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 70069 139 0 0 25 0 1 0 11623669 34312192 5952 1992294400 134512640 137138936 4292151120 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8377 5952 192 642 0 7733 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 33508

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17826
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33504 CPUtime=762.06
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 76056 150 0 0 25 0 1 0 11623669 34308096 5951 1992294400 134512640 137138936 4292151120 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8376 5951 192 642 0 7732 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 33504

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 17826
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33500 CPUtime=822.04
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 82042 162 0 0 25 0 1 0 11623669 34304000 5950 1992294400 134512640 137138936 4292151120 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8375 5950 192 642 0 7731 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 33500

[startup+882.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 17828
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33496 CPUtime=882.02
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 88031 171 0 0 25 0 1 0 11623669 34299904 5949 1992294400 134512640 137138936 4292151120 18446744073709551615 136515987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8374 5949 192 642 0 7730 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 33496

[startup+942.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 17830
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=942.01
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 94017 184 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 136504256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 33484

[startup+1002.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 17832
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1001.99
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 100005 194 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 33484

[startup+1062.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 17832
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1061.97
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 105992 205 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134618912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 33484

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 17834
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1121.95
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 111977 218 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 33484

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17836
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1181.93
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 117964 229 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 33484

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17838
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1241.92
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 123954 238 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 33484

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17840
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1301.9
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 129943 247 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 33484

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1361.87
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 135929 258 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 33484

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

[startup+1369.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1369.08
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 136648 260 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1369.08
Current children cumulated vsize (KiB) 33484

[startup+1382.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1381.87
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 137925 262 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1381.87
Current children cumulated vsize (KiB) 33484

[startup+1385.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1385.07
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 138245 262 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1385.07
Current children cumulated vsize (KiB) 33484

[startup+1387.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1386.68
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 138405 263 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1386.68
Current children cumulated vsize (KiB) 33484

[startup+1388.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1388.27
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 138564 263 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1388.27
Current children cumulated vsize (KiB) 33484

[startup+1389.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1388.67
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 138604 263 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1388.67
Current children cumulated vsize (KiB) 33484

[startup+1389.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17842
/proc/meminfo: memFree=1851720/2059040 swapFree=4140440/4192956
[pid=17794] ppid=17792 vsize=33484 CPUtime=1388.88
/proc/17794/stat : 17794 (bsolo_pb10) R 17792 17794 17424 0 -1 4202496 6049 0 0 0 138625 263 0 0 25 0 1 0 11623669 34287616 5946 1992294400 134512640 137138936 4292151120 18446744073709551615 136520969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17794/statm: 8371 5946 192 642 0 7727 0
Current children cumulated CPU time (s) 1388.88
Current children cumulated vsize (KiB) 33484

Child status: 0
Real time (s): 1389.35
CPU time (s): 1388.93
CPU user time (s): 1386.29
CPU system time (s): 2.6366
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 33664

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

runsolver used 2.18367 second user time and 6.66899 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-16 17:48:47
IDJOB=2670601
IDBENCH=48017
IDSOLVER=1162
FILE ID=node052/2670601-1276703327
PBS_JOBID= 11174092
Free space on /tmp= 62504 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670601-1276703327/watcher-2670601-1276703327 -o /tmp/evaluation-result-2670601-1276703327/solver-2670601-1276703327 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670601-1276703327.opb

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

MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104
RANDOM SEED=40355874

node052.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.262
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.52
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.262
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:       1877296 kB
Buffers:         11092 kB
Cached:          84856 kB
SwapCached:       5940 kB
Active:          74072 kB
Inactive:        34540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1877296 kB
SwapTotal:     4192956 kB
SwapFree:      4140440 kB
Dirty:            4188 kB
Writeback:           0 kB
AnonPages:       10948 kB
Mapped:          13072 kB
Slab:            51360 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181300 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-2670601-1276703327.opb

Free space on /tmp at the end= 62500 MiB
End job on node052 at 2010-06-16 18:11:56