Trace number 1879913

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 pbSAT61 1798.03 1798.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
MD5SUM26699ac56f0d58d8261ff4eb58d81611
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark1375.97
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1659
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 constraints1659
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 707
Number of bits of the biggest sum of numbers10
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-1879913-1245239934.opb
0.00/0.00	c File size is 322808 bytes.
0.03/0.04	c Highest Coefficient sum: 707
0.03/0.04	c Parsing was ok!!
0.03/0.04	c Total parsing time: 0.044 s
0.03/0.04	c Var: 895 Constr: 1659 0/0/1659 Lit: 41676 Watch. Lit: 7956
0.03/0.04	c Obj. Vars: 7 (0.782123 % of total variables)
0.09/0.10	c Pre-processing Time: 0.101 s
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0    895     1659    41676   25    14753   83352      0      0 0.10
0.09/0.10	c Switching off lower bounding mode.
0.29/0.35	c      101    895     1861    46476   24    28475   91688    202    422 0.24
0.29/0.35	c      252    895     2163    56148   25    24624  100857    504    752 0.34
0.29/0.35	o 99
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c      290    895     2240    59015   26    26625   83366    581    814 0.36
0.39/0.43	c      390    895     2440    64294   26    28200   91703    781    926 0.42
0.39/0.43	o 96
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c      411    895     2483    65831   26    27027   83366    824    949 0.43
0.49/0.53	c      512    895     2685    72464   26    27976   91703   1026   1009 0.51
0.49/0.53	o 82
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c      561    895     2784    75831   27    28602   83366   1125   1048 0.54
0.59/0.61	c      661    895     2984    83034   27    29601   91703   1325   1107 0.60
0.59/0.61	o 79
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c      684    895     3031    84740   27    30441   83366   1372   1114 0.61
1.00/1.05	c      784    895     3230    93111   28    33216   91703   1571   1161 0.68
1.00/1.05	c     1034    895     3729   111673   29    35242  100874   2070   1183 0.87
1.00/1.05	o 75
6.78/6.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.78/6.88	c     1392    895     4446   135319   30    37931   83366   2787   1321 1.05
6.78/6.88	c     1497    895     4656   142511   30    41107   91703   2997   1298 1.15
6.78/6.88	c     1748    895     5158   159707   30    42602  100874   3499   1272 1.37
6.78/6.88	c     2223    895     6108   192289   31    50122  110962   4449   1121 1.98
6.78/6.88	c     3036    895     7733   252034   32    58356  122059   6074    964 3.15
6.78/6.88	c     4357    895    10375   356811   34    67788  134265   8716    888 4.91
6.78/6.88	o 70
7.28/7.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.28/7.37	c     5402    895    12466   427387   34    77571   83366  10807    785 6.88
7.28/7.37	c     5502    895    12666   433376   34    81502   91703  11007    770 7.14
7.28/7.37	o 69
42.67/42.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.67/42.73	c     5572    895    12807   438600   34    78253   83366  11148    756 7.37
42.67/42.73	c     5672    895    13007   445437   34    80770   91703  11348    748 7.58
42.67/42.73	c     5924    895    13511   465661   34    80255  100874  11852    735 8.06
42.67/42.73	c     6400    895    14462   505182   34    86025  110962  12803    697 9.18
42.67/42.73	c     7214    895    16087   574723   35    93114  122059  14428    628 11.48
42.67/42.73	c     8534    895    18727   659070   35   106004  134265  17068    533 15.99
42.67/42.73	c    10616    895    22889   831920   36   129331  147692  21230    409 25.95
42.67/42.73	c    13839    895    29328  1054598   35   160563  162462  27669    332 41.57
42.67/42.73	o 66
45.17/45.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.17/45.25	c    14112    895    29875  1077114   36   165777   83366  28216    330 42.72
45.17/45.25	c    14212    895    30075  1083544   36   165621   91703  28416    327 43.38
45.17/45.25	c    14462    895    30573  1101968   36   167239  100874  28914    321 44.98
45.17/45.25	o 65
498.48/498.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
498.48/498.72	c    14501    895    30652  1104776   36   164843   83366  28993    320 45.24
498.48/498.72	c    14601    895    30852  1111823   36   172060   91703  29193    317 45.97
498.48/498.72	c    14851    886    31317  1125417   35   170425  100874  29658    307 48.26
498.48/498.72	c    15326    886    32178  1156412   35   182826  110962  30519    299 51.25
498.48/498.72	c    16142    886    33719  1206867   35   183345  122059  32060    283 56.89
498.48/498.72	c    17465    886    36144  1293984   35   197311  134265  34485    260 67.05
498.48/498.72	c    19546    886    40122  1415876   35   219768  147692  38463    233 83.77
498.48/498.72	c    22769    886    46210  1642042   35   257348  162462  44551    217 104.84
498.48/498.72	c    27705    886    55231  1969168   35   309786  178709  53572    193 142.94
498.48/498.72	c    35211    886    69002  2469008   35   375740  196580  67343    154 227.44
498.48/498.72	c    46573    886    89990  3235987   35   473776  216239  88331    115 403.62
498.48/498.72	o 62
1058.16/1058.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1058.16/1058.60	c    51738    886    99730  3610282   36   545898   83366  98071    103 498.52
1058.16/1058.60	c    51838    886    25571   916166   35   157086   91703  23912     87 595.38
1058.16/1058.60	c    52088    885    26047   929820   35   159211  100874  24388     87 596.87
1058.16/1058.60	c    52565    885    26943   958595   35   163225  110962  25284     87 600.04
1058.16/1058.60	c    53378    885    28417  1011063   35   171928  122059  26758     88 605.02
1058.16/1058.60	c    54698    885    30798  1096500   35   189502  134265  29139     89 614.38
1058.16/1058.60	c    56779    885    34730  1217994   35   203388  147692  33071     89 631.69
1058.16/1058.60	c    60002    885    40882  1449667   35   245785  162462  39223     90 659.41
1058.16/1058.60	c    64938    877    50284  1756016   34   294113  178709  48625     91 712.97
1058.16/1058.60	c    72445    877    64358  2293201   35   369058  196580  62699     90 803.31
1058.16/1058.60	c    83806    877    85524  3042109   35   475297  216239  83865     85 979.12
1058.16/1058.60	o 61
1797.99/1798.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.72	c    88891    877    95016  3380964   35   546005   83362  93357     84 1058.19
1797.99/1798.72	c    88992    877    25174   857168   34   155012   91699  23515     75 1178.68
1797.99/1798.72	c    89242    877    25631   871877   34   155377  100869  23972     75 1179.84
1797.99/1798.72	c    89717    877    26517   901970   34   161943  110956  24858     75 1182.66
1797.99/1798.72	c    90531    877    28054   956299   34   171182  122052  26395     76 1186.93
1797.99/1798.72	c    91851    877    30572  1035384   33   182612  134258  28913     76 1196.55
1797.99/1798.72	c    93932    877    34449  1183225   34   209339  147684  32790     77 1213.17
1797.99/1798.72	c    97155    877    40560  1389033   34   241858  162453  38901     78 1240.75
1797.99/1798.72	c   102091    877    49812  1726710   34   288743  178699  48153     79 1287.86
1797.99/1798.72	c   109597    877    63821  2268338   35   363217  196569  62162     79 1386.45
1797.99/1798.72	c   120960    877    85023  3028440   35   474815  216226  83364     76 1571.91
1797.99/1798.72	c Resources Exceeded
1797.99/1798.72	v x1 -x2 x3 x4 x5 x6 -x7 x57 x58 x59 -x60 x61 x62 -x63 -x64 -x65 x66 x67 x68 x69 -x70 -x895 x50 x51 -x52 -x53 x54 x55 -x56 -x894 -x893 -x892 x891 x890 x43 x44 -x45 x46 -x47 x48 -x49 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 x878 x877 -x876 -x36 -x37 x38 -x39 -x40 x41 -x42 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 x857 -x856 -x855 -x854 -x853 x852 x851 -x850 x849 x848 x847 x846 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 x794 -x793 -x792 -x791 x22 -x23 x24 x25 -x26 -x27 -x28 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 x729 -x728 -x727 -x726 x725 x724 x723 x722 x721 -x720 x719 x718 x717 x716 x715 x714 x713 x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 x646 -x645 -x644 x643 x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 x624 x623 x622 x621 -x620 x619 x618 x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 x607 -x606 -x605 x604 x603 x602 x601 -x600 x599 x598 x597 x596 x595 x594 x593 x592 x591 x590 x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 x579 -x578 x577 x576 x575 x574 -x573 x572 x571 x570 x569 x568 x567 x566 x565 x564 x563 x562 x561 -x560 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 x500 -x499 -x498 x497 x496 -x495 -x494 x493 x492 x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 x473 x472 -x471 -x470 x469 x468 x467 x466 -x465 x464 x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 x452 -x451 -x450 x449 x448 x447 -x446 -x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 x419 -x418 -x417 x416 x415 x414 x413 -x412 x411 x410 x409 x408 x407 x406 x405 x404 x403 x402 x401 x400 -x399 x398 x397 x396 x395 x394 x393 x392 -x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 x332 x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 x310 x309 x308 x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 x290 -x289 -x288 x287 x286 -x285 -x284 x283 x282 x281 x280 x279 x278 x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 x258 -x257 -x256 x255 x254 x253 x252 -x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 x230 x229 x228 -x227 -x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 x194 -x193 -x192 x191 x190 x189 x188 -x187 x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 -x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 -x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 
1797.99/1798.72	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.72	c   63   130620  14534   152063   103181  3602432 101522     72 1798.02
1797.99/1798.72	c Objective: 61
1797.99/1798.72	s SATISFIABLE
1797.99/1798.72	c Total time: 1798.02 s

Verifier Data 

OK	61

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879913-1245239934/watcher-1879913-1245239934 -o /tmp/evaluation-result-1879913-1245239934/solver-1879913-1245239934 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879913-1245239934.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.02 1.02 0.93 3/64 7051
/proc/meminfo: memFree=1564144/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=11020 CPUtime=0
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 191592977 11284480 226 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 2755 226 176 640 0 2032 0

[startup+0.033799 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7051
/proc/meminfo: memFree=1564144/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=11408 CPUtime=0.03
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 402 0 0 0 3 0 0 0 18 0 1 0 191592977 11681792 386 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 2852 386 226 640 0 2129 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11408

[startup+0.101803 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7051
/proc/meminfo: memFree=1564144/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=12424 CPUtime=0.09
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 766 0 0 0 9 0 0 0 18 0 1 0 191592977 12722176 671 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 3106 671 190 640 0 2462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12424

[startup+0.301814 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7051
/proc/meminfo: memFree=1564144/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=12428 CPUtime=0.29
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 773 0 0 0 29 0 0 0 19 0 1 0 191592977 12726272 678 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 3107 678 196 640 0 2463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12428

[startup+0.701839 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7051
/proc/meminfo: memFree=1564144/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=13080 CPUtime=0.69
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 937 0 0 0 69 0 0 0 23 0 1 0 191592977 13393920 842 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 3270 842 196 640 0 2626 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13080

[startup+1.50189 s]
/proc/loadavg: 1.02 1.02 0.93 2/65 7052
/proc/meminfo: memFree=1561064/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=14360 CPUtime=1.49
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 1271 0 0 0 148 1 0 0 25 0 1 0 191592977 14704640 1176 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 3590 1176 196 640 0 2946 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14360

[startup+3.10199 s]
/proc/loadavg: 1.02 1.02 0.93 2/65 7052
/proc/meminfo: memFree=1559400/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=15892 CPUtime=3.09
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 1654 0 0 0 308 1 0 0 25 0 1 0 191592977 16273408 1559 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 3973 1559 196 640 0 3329 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15892

[startup+6.30119 s]
/proc/loadavg: 1.02 1.02 0.93 2/65 7052
/proc/meminfo: memFree=1556328/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=18592 CPUtime=6.29
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 2317 0 0 0 627 2 0 0 25 0 1 0 191592977 19038208 2222 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 4648 2222 196 640 0 4004 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18592

[startup+12.7016 s]
/proc/loadavg: 1.02 1.02 0.93 2/65 7052
/proc/meminfo: memFree=1552616/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=22072 CPUtime=12.69
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 3182 0 0 0 1265 4 0 0 25 0 1 0 191592977 22601728 3087 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 5518 3087 196 640 0 4874 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22072

[startup+25.5014 s]
/proc/loadavg: 1.01 1.02 0.93 2/65 7052
/proc/meminfo: memFree=1548520/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=25904 CPUtime=25.48
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 4166 0 0 0 2543 5 0 0 25 0 1 0 191592977 26525696 4071 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 6476 4071 196 640 0 5832 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25904

[startup+51.102 s]
/proc/loadavg: 1.01 1.01 0.93 2/65 7052
/proc/meminfo: memFree=1542376/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=32240 CPUtime=51.07
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 5733 0 0 0 5099 8 0 0 25 0 1 0 191592977 33013760 5638 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 8060 5638 196 640 0 7416 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32240

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 7052
/proc/meminfo: memFree=1533544/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=40836 CPUtime=102.25
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 7880 0 0 0 10212 13 0 0 25 0 1 0 191592977 41816064 7785 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 10209 7785 197 640 0 9565 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 40836

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7058
/proc/meminfo: memFree=1524648/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=49604 CPUtime=162.23
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 10080 0 0 0 16206 17 0 0 25 0 1 0 191592977 50794496 9985 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 12401 9985 197 640 0 11757 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49604

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7058
/proc/meminfo: memFree=1518440/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=55780 CPUtime=222.2
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 11609 0 0 0 22199 21 0 0 25 0 1 0 191592977 57118720 11514 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 13945 11514 197 640 0 13301 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 55780

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7058
/proc/meminfo: memFree=1514088/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=60276 CPUtime=282.18
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 12737 0 0 0 28195 23 0 0 25 0 1 0 191592977 61722624 12642 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 15069 12642 197 640 0 14425 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 60276

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7058
/proc/meminfo: memFree=1508648/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=65540 CPUtime=342.16
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 14064 0 0 0 34190 26 0 0 25 0 1 0 191592977 67112960 13969 1992294400 134512640 137136520 4294956256 18446744073709551615 134543813 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 16385 13969 197 640 0 15741 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 65540

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7058
/proc/meminfo: memFree=1504488/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=69784 CPUtime=402.12
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 15119 0 0 0 40184 28 0 0 25 0 1 0 191592977 71458816 15024 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 17446 15024 197 640 0 16802 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 69784

[startup+462.302 s]
/proc/loadavg: 1.03 1.01 0.94 2/65 7058
/proc/meminfo: memFree=1499624/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=74432 CPUtime=462.09
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 16292 0 0 0 46179 30 0 0 25 0 1 0 191592977 76218368 16197 1992294400 134512640 137136520 4294956256 18446744073709551615 136501958 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 18608 16197 197 640 0 17964 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 74432

[startup+522.301 s]
/proc/loadavg: 1.01 1.01 0.94 2/65 7058
/proc/meminfo: memFree=1496872/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77012 CPUtime=522.07
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17025 0 0 0 52176 31 0 0 25 0 1 0 191592977 78860288 16834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19253 16834 197 640 0 18609 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 77012

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496872/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77012 CPUtime=582.05
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17025 0 0 0 58174 31 0 0 25 0 1 0 191592977 78860288 16834 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19253 16834 197 640 0 18609 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 77012

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496872/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77012 CPUtime=642.02
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17025 0 0 0 64169 33 0 0 25 0 1 0 191592977 78860288 16834 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19253 16834 197 640 0 18609 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 77012

[startup+702.302 s]

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

/proc/meminfo: memFree=1496552/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1061.86
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 106144 42 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 77424

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496424/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1121.84
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 112142 42 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 77424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496424/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1181.82
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 118139 43 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 77424

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496232/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1241.79
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 124134 45 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 77424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496168/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1301.78
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 130131 47 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 77424

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496168/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1361.75
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 136127 48 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 77424

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496104/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1421.74
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 142124 50 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 77424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496104/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1481.7
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 148118 52 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 77424

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496104/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1541.67
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 154114 53 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 77424

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496104/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1601.65
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 160111 54 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 77424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496104/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1661.63
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 166108 55 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 77424

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1496040/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77424 CPUtime=1721.61
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17114 0 0 0 172106 55 0 0 25 0 1 0 191592977 79282176 16923 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19356 16923 197 640 0 18712 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 77424

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1495976/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77432 CPUtime=1781.59
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17116 0 0 0 178103 56 0 0 25 0 1 0 191592977 79290368 16925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19358 16925 197 640 0 18714 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 77432

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1495976/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77436 CPUtime=1791.19
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17117 0 0 0 179063 56 0 0 25 0 1 0 191592977 79294464 16926 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19359 16926 197 640 0 18715 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 77436

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1495976/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77436 CPUtime=1794.39
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17117 0 0 0 179383 56 0 0 25 0 1 0 191592977 79294464 16926 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19359 16926 197 640 0 18715 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 77436

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1495976/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77436 CPUtime=1795.99
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17117 0 0 0 179543 56 0 0 25 0 1 0 191592977 79294464 16926 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19359 16926 197 640 0 18715 0
Current children cumulated CPU time (s) 1795.99
Current children cumulated vsize (KiB) 77436

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1495976/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77436 CPUtime=1796.79
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17120 0 0 0 179623 56 0 0 25 0 1 0 191592977 79294464 16929 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19359 16929 197 640 0 18715 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 77436

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1495976/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77436 CPUtime=1797.59
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17125 0 0 0 179703 56 0 0 25 0 1 0 191592977 79294464 16934 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19359 16934 197 640 0 18715 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 77436

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 7058
/proc/meminfo: memFree=1495976/2055920 swapFree=4182416/4192956
[pid=7051] ppid=7049 vsize=77436 CPUtime=1797.99
/proc/7051/stat : 7051 (bsolo) R 7049 7051 6923 0 -1 4194304 17129 0 0 0 179743 56 0 0 25 0 1 0 191592977 79294464 16938 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7051/statm: 19359 16938 197 640 0 18715 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 77436

Child status: 0
Real time (s): 1798.74
CPU time (s): 1798.03
CPU user time (s): 1797.45
CPU system time (s): 0.577912
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 77436

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

runsolver used 1.61275 second user time and 4.93825 second system time

The end

Launcher Data 

Begin job on node29 at 2009-06-17 13:58:54
IDJOB=1879913
IDBENCH=2637
IDSOLVER=701
FILE ID=node29/1879913-1245239934
PBS_JOBID= 9372309
Free space on /tmp= 66212 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879913-1245239934/watcher-1879913-1245239934 -o /tmp/evaluation-result-1879913-1245239934/solver-1879913-1245239934 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879913-1245239934.opb

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

MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611
RANDOM SEED=857252795

node29.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.237
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.237
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:       1564624 kB
Buffers:         23880 kB
Cached:         384832 kB
SwapCached:       4660 kB
Active:          56508 kB
Inactive:       359868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1564624 kB
SwapTotal:     4192956 kB
SwapFree:      4182416 kB
Dirty:            4268 kB
Writeback:           0 kB
Mapped:          13920 kB
Slab:            60924 kB
Committed_AS:   195996 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879913-1245239934.opb

Free space on /tmp at the end= 66208 MiB
End job on node29 at 2009-06-17 14:28:53