Trace number 353553

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, and are wall clock time (not CPU 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.0.16SAT (TO)-36 1800.02 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58624
Number of constraints which are clauses58624
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
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 (download as text)

0.00/0.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.02	c Time Limit set to 1800
0.00/0.02	c Memory Limit set to 1800 MB
0.00/0.02	c Instance file /tmp/evaluation/353553-1176669071/instance-353553-1176669071.opb
0.00/0.02	c File size is 1400677 bytes.
0.17/0.24	c Highest Coefficient sum: 945
0.17/0.24	c Parsing was ok!!
0.17/0.24	c Total parsing time: 0.217 s
0.17/0.26	c Var: 945 Constr: 58624 58624/0/0 Lit: 117248 Watch. Lit: 117248
0.17/0.26	c Obj. Vars: 945 (100 % of total variables)
1.36/1.45	c Pre-processing Time: 1.426 s
1.36/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.36/1.45	c        0    945    58624   117248    2   117248   19541      0      0 1.43
1.36/1.45	c Switching off LPR mode.
1.36/1.46	o -31	1.435
1.46/1.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.46/1.51	c        0    945    58625   118193    2   117281   20541      1      0 1.44
1.46/1.51	c      101    945    58726   210147    3   117483   22596    102     68 1.49
1.46/1.51	o -32	1.488
1.46/1.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.46/1.53	c      104    945    58730   213823    3   117523   20541    106     69 1.49
1.46/1.53	o -33	1.51
15.16/15.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.16/15.23	c      142    945    58769   249351    4   117634   20541    145     93 1.51
15.16/15.23	c      242    945    58869   340195    5   117834   22596    245    154 1.56
15.16/15.23	c      492    945    59119   567114    9   118334   24856    495    287 1.71
15.16/15.23	c      967    945    59594   998812   16   119284   27342    970    476 2.03
15.16/15.23	c     1781    945    60408  1738506   28   120912   30077   1784    663 2.68
15.16/15.23	c     3101    945    61728  2937313   47   123552   33085   3104    744 4.17
15.16/15.23	c     5183    945    63810  4827796   75   127716   36394   5186    737 7.03
15.16/15.23	c     8406    945    67033  7754372  115   134162   40034   8409    568 14.79
15.16/15.23	o -34	15.203
19.26/19.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.26/19.39	c     8952    945    67580  8251493  122   135290   20541   8956    588 15.21
19.26/19.39	c     9053    945    67681  8343154  123   135492   22596   9057    591 15.30
19.26/19.39	c     9304    945    67932  8570972  126   135994   24856   9308    600 15.48
19.26/19.39	c     9780    945    68408  9002872  131   136946   27342   9784    601 16.25
19.26/19.39	c    10593    945    69221  9740400  140   138572   30077  10597    602 17.59
19.26/19.39	c    11914    945    70542 10937466  155   141214   33085  11918    618 19.25
19.26/19.39	o -35	19.36
21.66/21.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.66/21.78	c    12012    945    70641 11027360  156   141447   20541  12017    620 19.36
21.66/21.78	c    12112    945    70741 11117992  157   141647   22596  12117    621 19.50
21.66/21.78	c    12362    945    70991 11344353  159   142147   24856  12367    626 19.74
21.66/21.78	c    12838    945    71467 11775950  164   143099   27342  12843    624 20.57
21.66/21.78	c    13653    945    72282 12513933  173   144729   30077  13658    630 21.66
21.66/21.78	o -36	21.754
1799.93/1800.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.47	c    13716    945    72346 12571977  173   144893   20541  13722    630 21.76
1799.93/1800.47	c    13816    945    72446 12662560  174   145093   22596  13822    631 21.87
1799.93/1800.47	c    14066    945    72696 12888823  177   145593   24856  14072    617 22.79
1799.93/1800.47	c    14541    945    73171 13318497  182   146543   27342  14547    606 23.98
1799.93/1800.47	c    15354    945    73984 14054095  189   148169   30077  15360    620 24.73
1799.93/1800.47	c    16674    945    75304 15248600  202   150809   33085  16680    631 26.41
1799.93/1800.47	c    18755    945    77385 17132041  221   154971   36394  18761    448 41.80
1799.93/1800.47	c    21978    945    80608 20046807  248   161417   40034  21984    451 48.64
1799.93/1800.47	c    26914    945    85544 24515742  286   171289   44038  26920    375 71.60
1799.93/1800.47	c    34421    945    93051 31301629  336   186303   48442  34427    366 94.03
1799.93/1800.47	c    45782    945   104412 41578199  398   209025   53287  45788    323 141.57
1799.93/1800.47	c    62926    945    79119 18652209  235   158274   58616  20495    194 323.03
1799.93/1800.47	c    88745    945   104938 42017560  400   209912   64478  46314    178 497.94
1799.93/1800.47	c   127579    945    90419 28874994  319   180874   70926  31795    168 757.77
1799.93/1800.47	c   185933    945    89031 27640115  310   178098   78019  30407    118 1567.92
1799.93/1800.47	c Resources Exceeded
1799.93/1800.47	v -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
1799.93/1800.47	v -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1799.93/1800.47	v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883
1799.93/1800.47	v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1799.93/1800.47	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841
1799.93/1800.47	v -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1799.93/1800.47	v -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1799.93/1800.47	v -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
1799.93/1800.47	v -x777 -x776 -x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757
1799.93/1800.47	v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1799.93/1800.47	v -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1799.93/1800.47	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1799.93/1800.47	v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673
1799.93/1800.47	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1799.93/1800.47	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1799.93/1800.47	v -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1799.93/1800.47	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
1799.93/1800.47	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1799.93/1800.47	v -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1799.93/1800.47	v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526
1799.93/1800.47	v -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1799.93/1800.47	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
1799.93/1800.47	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463
1799.93/1800.47	v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1799.93/1800.47	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1799.93/1800.47	v -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1799.93/1800.47	v -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1799.93/1800.47	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1799.93/1800.47	v -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
1799.93/1800.47	v -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1799.93/1800.47	v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
1799.93/1800.47	v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1799.93/1800.47	v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253
1799.93/1800.47	v -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
1799.93/1800.47	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
1799.93/1800.47	v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1799.93/1800.47	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1799.93/1800.47	v -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1799.93/1800.47	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1799.93/1800.47	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106
1799.93/1800.47	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1799.93/1800.47	v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1799.93/1800.47	v -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1799.93/1800.47	v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1799.93/1800.47	v -x1
1799.93/1800.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.47	c   37   204748  18654   228167   107846 44659732  49222    113 1800.01
1799.93/1800.47	c Objective: -36
1799.93/1800.47	s SATISFIABLE
1799.93/1800.47	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-36

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-353553-1176669071 -o ROOT/results/node34/solver-353553-1176669071 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353553-1176669071/instance-353553-1176669071.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 22071
/proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=1408 CPUtime=0
/proc/22071/stat : 22071 (bsolo3.0.16) D 22069 22071 21719 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 114822499 1441792 25 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7721764 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/22071/statm: 352 25 20 324 0 2 0

[startup+0.0909431 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 22071
/proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=7084 CPUtime=0.06
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 920 0 0 0 6 0 0 0 18 0 1 0 114822499 7254016 888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134587064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22071/statm: 1771 888 385 324 0 498 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7084

[startup+0.101939 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 22071
/proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=7360 CPUtime=0.07
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 1008 0 0 0 7 0 0 0 18 0 1 0 114822499 7536640 976 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8187519 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22071/statm: 1840 976 402 324 0 567 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7360

[startup+0.301959 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 22071
/proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=12608 CPUtime=0.26
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 2883 0 0 0 26 0 0 0 19 0 1 0 114822499 12910592 2509 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22071/statm: 3152 2509 305 324 0 2221 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 12608

[startup+0.701995 s]
/proc/loadavg: 1.04 1.02 1.00 3/77 22071
/proc/meminfo: memFree=1628288/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=14456 CPUtime=0.67
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 3359 0 0 0 64 3 0 0 23 0 1 0 114822499 14802944 2985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134545413 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22071/statm: 3614 2985 307 324 0 2683 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14456

[startup+1.50105 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 22072
/proc/meminfo: memFree=1617400/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=13416 CPUtime=1.46
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 3973 0 0 0 141 5 0 0 25 0 1 0 114822499 13737984 2742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 3354 2742 312 324 0 2423 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13416

[startup+3.10118 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 22072
/proc/meminfo: memFree=1607096/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=38540 CPUtime=3.06
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 10260 0 0 0 299 7 0 0 25 0 1 0 114822499 39464960 9029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 9635 9029 312 324 0 8704 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38540

[startup+6.30143 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 22072
/proc/meminfo: memFree=1569080/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=68644 CPUtime=6.26
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 17782 0 0 0 615 11 0 0 25 0 1 0 114822499 70291456 16551 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 17161 16551 312 324 0 16230 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 68644

[startup+12.7019 s]
/proc/loadavg: 1.04 1.02 1.00 3/78 22072
/proc/meminfo: memFree=1531328/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=102968 CPUtime=12.67
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 26352 0 0 0 1251 16 0 0 25 0 1 0 114822499 105439232 25121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 25742 25121 312 324 0 24811 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 102968

[startup+25.5019 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 22072
/proc/meminfo: memFree=1435520/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=199188 CPUtime=25.46
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 50422 0 0 0 2522 24 0 0 25 0 1 0 114822499 203968512 49191 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 49797 49191 312 324 0 48866 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 199188

[startup+51.102 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 22072
/proc/meminfo: memFree=1356928/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=275744 CPUtime=51.05
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 69549 0 0 0 5071 34 0 0 25 0 1 0 114822499 282361856 68318 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 68936 68318 312 324 0 68005 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 275744

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 22072
/proc/meminfo: memFree=1174592/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=456868 CPUtime=102.24
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 114818 0 0 0 10169 55 0 0 25 0 1 0 114822499 467832832 113587 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 114217 113587 312 324 0 113286 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 456868

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 22072
/proc/meminfo: memFree=1023424/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=608272 CPUtime=162.23
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 152672 0 0 0 16143 80 0 0 25 0 1 0 114822499 622870528 151441 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 152068 151441 312 324 0 151137 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 608272

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22072
/proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=641824 CPUtime=222.21
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 22134 87 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 160456 159835 312 324 0 159525 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 641824

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22072
/proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=641824 CPUtime=282.2
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 28132 88 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 160456 159835 312 324 0 159525 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 641824

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22072
/proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=641824 CPUtime=342.19
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 34129 90 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 160456 159835 312 324 0 159525 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 641824

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=988608/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=641824 CPUtime=402.17
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 40124 93 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 160456 159835 312 324 0 159525 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 641824

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=988672/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=641824 CPUtime=462.16
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 161119 0 0 0 46121 95 0 0 25 0 1 0 114822499 657227776 159835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 160456 159835 312 324 0 159525 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 641824

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=966592/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=666192 CPUtime=522.14
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 167200 0 0 0 52113 101 0 0 25 0 1 0 114822499 682180608 165916 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 166548 165916 312 324 0 165617 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 666192

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=873024/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=757772 CPUtime=582.13
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 190108 0 0 0 58098 115 0 0 25 0 1 0 114822499 775958528 188824 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 189443 188824 312 324 0 188512 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 757772

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=859008/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=771168 CPUtime=642.12
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 193525 0 0 0 64093 119 0 0 25 0 1 0 114822499 789676032 192177 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 192792 192177 312 324 0 191861 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 771168


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

Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 771168

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=859328/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=771168 CPUtime=1181.99
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 193525 0 0 0 118066 133 0 0 25 0 1 0 114822499 789676032 192177 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 192792 192177 312 324 0 191861 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 771168

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=845376/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=785716 CPUtime=1241.97
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 197142 0 0 0 124060 137 0 0 25 0 1 0 114822499 804573184 195794 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 196429 195794 312 324 0 195498 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 785716

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=802304/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=828360 CPUtime=1301.96
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 207806 0 0 0 130053 143 0 0 25 0 1 0 114822499 848240640 206458 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 207090 206458 312 324 0 206159 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 828360

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784384/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1361.95
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 136048 147 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 845980

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784384/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1421.94
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 142045 149 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 845980

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784448/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1481.92
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 148042 150 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 845980

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784448/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1541.91
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 154039 152 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 845980

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784512/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1601.89
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 160036 153 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 845980

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784512/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1661.88
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 166033 155 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 845980

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784512/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1721.86
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 172029 157 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 845980

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22074
/proc/meminfo: memFree=784576/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=845980 CPUtime=1781.85
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194304 212302 0 0 0 178026 159 0 0 25 0 1 0 114822499 866283520 210883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 211495 210883 312 324 0 210564 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 845980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 22148
/proc/meminfo: memFree=953096/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=0 CPUtime=1800.02
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194308 212303 0 0 0 179839 163 0 0 17 0 1 0 114822499 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 22148
/proc/meminfo: memFree=953096/2055920 swapFree=4161580/4192956
[pid=22071] ppid=22069 vsize=0 CPUtime=1800.02
/proc/22071/stat : 22071 (bsolo3.0.16) R 22069 22071 21719 0 -1 4194308 212303 0 0 0 179839 163 0 0 17 0 1 0 114822499 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22071/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.02 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1800.02 s) to the 'lost time'.

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 22149
/proc/meminfo: memFree=1618240/2055920 swapFree=4161580/4192956
[pid=22071] ppid=-1 vsize=0 CPUtime=0
/proc/22071/stat : ÿÿÿÿÿÿÿÿ/proc/22071/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 22149
/proc/meminfo: memFree=1618240/2055920 swapFree=4161580/4192956
[pid=22071] ppid=-1 vsize=0 CPUtime=0
/proc/22071/stat : ÿÿÿÿÿÿÿÿ/proc/22071/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22071 and gives
#  childrusage.ru_utime.tv_sec=1798
#  childrusage.ru_utime.tv_usec=399601
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=742735
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.02
#  lost CPU user time (s): 1798.39
#  lost CPU system time (s): 1.63

Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1798.39
CPU system time (s): 1.63
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 846264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.4
system time used= 1.74273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212303
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= 14
involuntary context switches= 2733

runsolver used 2.15067 second user time and 4.39033 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sun Apr 15 20:31:11 UTC 2007

IDJOB= 353553
IDBENCH= 2251
IDSOLVER= 163
FILE ID= node34/353553-1176669071

PBS_JOBID= 4559947

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353553-1176669071/instance-353553-1176669071.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-353553-1176669071 -o ROOT/results/node34/solver-353553-1176669071 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353553-1176669071/instance-353553-1176669071.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  aabc023158e10c9511062af8ac97c515

RANDOM SEED= 317957096

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.236
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.236
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:       1628696 kB
Buffers:         32432 kB
Cached:         198780 kB
SwapCached:       2232 kB
Active:         220548 kB
Inactive:       145656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1628696 kB
SwapTotal:     4192956 kB
SwapFree:      4161580 kB
Dirty:            5856 kB
Writeback:           0 kB
Mapped:         149944 kB
Slab:            46284 kB
Committed_AS:   426176 kB
PageTables:       1976 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= 66558 MiB

End job on node34 on Sun Apr 15 21:01:13 UTC 2007