Trace number 2656450

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 CardSAT-36 1798.08 1798.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1789.87
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
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 

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-2656450-1276499861.opb
0.00/0.00	c File size is 1400279 bytes.
0.19/0.22	c Highest Coefficient sum: 945
0.19/0.22	c Parsing was ok!!
0.19/0.22	c Total parsing time: 0.223 s
0.19/0.24	c Var: 945 Constr: 58549 58549/0/0 Lit: 117098 Watch. Lit: 117098
0.19/0.24	c Obj. Vars: 945 (100 % of total variables)
1.39/1.46	c Pre-processing Time: 1.461 s
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c        0    945    58549   117098    2   117098   19516      0      0 1.46
1.39/1.46	c Switching off lower bounding mode.
1.39/1.47	o -33
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c        0    945    58550   118043    2   117133   20516      1      0 1.47
1.39/1.48	o -34
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c        3    945    58554   121713    2   117175   20516      5      2 1.48
1.89/1.92	c      104    945    58665   222350    3   117397   22568    116     63 1.64
1.89/1.92	o -35
1475.93/1476.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1475.93/1476.37	c      267    945    58850   390043    6   117802   20516    301    138 1.92
1475.93/1476.37	c      367    945    58959   488699    8   118020   22568    410    176 2.08
1475.93/1476.37	c      618    945    59237   740312   12   118576   24825    688    243 2.54
1475.93/1476.37	c     1093    945    59763  1216606   20   119628   27308   1214    320 3.41
1475.93/1476.37	c     1906    945    60692  2056568   33   121486   30039   2143    367 5.19
1475.93/1476.37	c     3226    945    62196  3417833   54   124494   33043   3647    398 8.10
1475.93/1476.37	c     5307    945    64582  5576618   86   129266   36348   6033    392 13.52
1475.93/1476.37	c     8531    945    68182  8835919  129   136466   39983   9633    388 21.96
1475.93/1476.37	c    13468    945    73730 13858647  187   147562   43982  15181    338 39.76
1475.93/1476.37	c    20976    945    82238 21554464  262   164611   48381  23689    289 72.53
1475.93/1476.37	c    32338    945    95004 33100333  348   190207   53220  36455    232 139.22
1475.93/1476.37	c    49482    945    73237 13409772  183   146509   58543  14688    185 266.36
1475.93/1476.37	c    75302    945   102283 39649810  387   204808   64398  43734    172 435.37
1475.93/1476.37	c   114134    945    95027 33111409  348   190153   70838  36478    152 749.94
1475.93/1476.37	c   172487    945   103441 40639990  392   207069   77922  44892    135 1275.06
1475.93/1476.37	o -36
1797.96/1798.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.44	c   192743    945   126755 61737312  487   253733   20516  68206    130 1476.01
1797.96/1798.44	c   192844    945    68920  9503288  137   137876   22568  10371    129 1488.24
1797.96/1798.44	c   193094    945    69196  9753014  140   138428   24825  10647    129 1489.11
1797.96/1798.44	c   193569    945    69730 10235845  146   139496   27308  11181    129 1490.47
1797.96/1798.44	c   194382    945    70641 11059061  156   141318   30039  12092    130 1492.81
1797.96/1798.44	c   195702    945    72119 12393595  171   144274   33043  13570    130 1496.42
1797.96/1798.44	c   197784    945    74435 14488381  194   148906   36348  15886    131 1504.12
1797.96/1798.44	c   201007    945    78105 17801496  227   156280   39983  19556    132 1515.38
1797.96/1798.44	c   205944    945    83634 22794094  272   167338   43982  25085    134 1533.30
1797.96/1798.44	c   213450    945    92243 30573302  331   184590   48381  33694    136 1569.18
1797.96/1798.44	c   224811    945   105089 42188446  401   210282   53220  46540    137 1633.86
1797.96/1798.44	c   241955    945    83327 22516971  270   166724   58543  24778    137 1757.59
1797.96/1798.44	c Resources Exceeded
1797.96/1798.44	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -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 -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 -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 -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 -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 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -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 -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 -x1 
1797.96/1798.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.44	c   30   250231  22148   278764    92689 30977375  34140    139 1798.00
1797.96/1798.44	c Objective: -36
1797.96/1798.44	s SATISFIABLE
1797.96/1798.44	c Total time: 1798 s

Verifier Data 

OK	-36

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656450-1276499861/watcher-2656450-1276499861 -o /tmp/evaluation-result-2656450-1276499861/solver-2656450-1276499861 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656450-1276499861.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.07 3/107 27538
/proc/meminfo: memFree=1728084/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=12296 CPUtime=0
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 23641795 12591104 270 1992294400 134512640 137138936 4292016688 18446744073709551615 134531071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 3074 270 176 642 0 2088 0

[startup+0.084608 s]
/proc/loadavg: 1.00 1.00 1.07 3/107 27538
/proc/meminfo: memFree=1728084/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=14224 CPUtime=0.08
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 968 0 0 0 8 0 0 0 20 0 1 0 23641795 14565376 886 1992294400 134512640 137138936 4292016688 18446744073709551615 134519443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 3556 887 293 642 0 2570 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14224

[startup+0.100608 s]
/proc/loadavg: 1.00 1.00 1.07 3/107 27538
/proc/meminfo: memFree=1728084/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=14636 CPUtime=0.09
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 1094 0 0 0 9 0 0 0 20 0 1 0 23641795 14987264 1012 1992294400 134512640 137138936 4292016688 18446744073709551615 134519403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 3659 1013 318 642 0 2673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14636

[startup+0.300626 s]
/proc/loadavg: 1.00 1.00 1.07 3/107 27538
/proc/meminfo: memFree=1728084/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=19336 CPUtime=0.29
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 2796 0 0 0 28 1 0 0 20 0 1 0 23641795 19800064 2372 1992294400 134512640 137138936 4292016688 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 4834 2372 184 642 0 4190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19336

[startup+0.700661 s]
/proc/loadavg: 1.00 1.00 1.07 3/107 27538
/proc/meminfo: memFree=1728084/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=21184 CPUtime=0.69
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 3271 0 0 0 67 2 0 0 20 0 1 0 23641795 21692416 2847 1992294400 134512640 137138936 4292016688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 5296 2847 185 642 0 4652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21184

[startup+1.50073 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 27539
/proc/meminfo: memFree=1717288/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=19556 CPUtime=1.49
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 3731 0 0 0 143 6 0 0 23 0 1 0 23641795 20025344 2451 1992294400 134512640 137138936 4292016688 18446744073709551615 134598901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 4889 2451 192 642 0 4245 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19556

[startup+3.10087 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 27539
/proc/meminfo: memFree=1714064/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=31424 CPUtime=3.09
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 6701 0 0 0 302 7 0 0 25 0 1 0 23641795 32178176 5421 1992294400 134512640 137138936 4292016688 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 7856 5421 192 642 0 7212 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31424

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 27539
/proc/meminfo: memFree=1692364/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=51564 CPUtime=6.29
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 11743 0 0 0 620 9 0 0 25 0 1 0 23641795 52801536 10463 1992294400 134512640 137138936 4292016688 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 12891 10463 192 642 0 12247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51564

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 27539
/proc/meminfo: memFree=1655536/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=85616 CPUtime=12.68
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 20240 0 0 0 1254 14 0 0 25 0 1 0 23641795 87670784 18960 1992294400 134512640 137138936 4292016688 18446744073709551615 136504146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 21404 18960 192 642 0 20760 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85616

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 27539
/proc/meminfo: memFree=1591676/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=147576 CPUtime=25.49
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 35735 0 0 0 2526 23 0 0 25 0 1 0 23641795 151117824 34455 1992294400 134512640 137138936 4292016688 18446744073709551615 136504479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 36894 34455 192 642 0 36250 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 147576

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 27539
/proc/meminfo: memFree=1498676/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=241048 CPUtime=51.08
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 59100 0 0 0 5072 36 0 0 25 0 1 0 23641795 246833152 57820 1992294400 134512640 137138936 4292016688 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 60262 57820 192 642 0 59618 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 241048

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27541
/proc/meminfo: memFree=1368600/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=368872 CPUtime=102.27
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 91063 0 0 0 10168 59 0 0 25 0 1 0 23641795 377724928 89783 1992294400 134512640 137138936 4292016688 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 92218 89783 192 642 0 91574 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 368872

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 27543
/proc/meminfo: memFree=1237036/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=501652 CPUtime=162.25
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 124251 0 0 0 16142 83 0 0 25 0 1 0 23641795 513691648 122971 1992294400 134512640 137138936 4292016688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 125413 122971 192 642 0 124769 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 501652

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 27545
/proc/meminfo: memFree=1134240/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=602752 CPUtime=222.24
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 149539 0 0 0 22123 101 0 0 25 0 1 0 23641795 617218048 148259 1992294400 134512640 137138936 4292016688 18446744073709551615 134544837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 150688 148259 192 642 0 150044 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 602752

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 27545
/proc/meminfo: memFree=1088856/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=647584 CPUtime=282.22
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 160792 0 0 0 28112 110 0 0 25 0 1 0 23641795 663126016 159459 1992294400 134512640 137138936 4292016688 18446744073709551615 134551925 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 161896 159459 192 642 0 161252 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 647584

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 27547
/proc/meminfo: memFree=1088856/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=647584 CPUtime=342.21
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 160792 0 0 0 34107 114 0 0 25 0 1 0 23641795 663126016 159459 1992294400 134512640 137138936 4292016688 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 161896 159459 192 642 0 161252 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 647584

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 27549
/proc/meminfo: memFree=1088856/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=647584 CPUtime=402.19
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 160792 0 0 0 40102 117 0 0 25 0 1 0 23641795 663126016 159459 1992294400 134512640 137138936 4292016688 18446744073709551615 136505593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 161896 159459 192 642 0 161252 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 647584

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 27551
/proc/meminfo: memFree=1088856/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=647584 CPUtime=462.18
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 160792 0 0 0 46097 121 0 0 25 0 1 0 23641795 663126016 159459 1992294400 134512640 137138936 4292016688 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 161896 159459 192 642 0 161252 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 647584

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 27553
/proc/meminfo: memFree=1033180/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=705084 CPUtime=522.16
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 175157 0 0 0 52083 133 0 0 25 0 1 0 23641795 722006016 173824 1992294400 134512640 137138936 4292016688 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 176271 173824 192 642 0 175627 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 705084

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 27553
/proc/meminfo: memFree=959152/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=777052 CPUtime=582.15
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 193212 0 0 0 58069 146 0 0 25 0 1 0 23641795 795701248 191815 1992294400 134512640 137138936 4292016688 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 194263 191815 192 642 0 193619 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 777052

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 27555
/proc/meminfo: memFree=959028/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=777052 CPUtime=642.14
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 193212 0 0 0 64064 150 0 0 25 0 1 0 23641795 795701248 191815 1992294400 134512640 137138936 4292016688 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 194263 191815 192 642 0 193619 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 777052

[startup+702.3 s]

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

/proc/meminfo: memFree=883760/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1062.03
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 106019 184 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 851864

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 27569
/proc/meminfo: memFree=883636/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1122.02
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 112014 188 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 851864

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 27569
/proc/meminfo: memFree=883636/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1182.01
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 118009 192 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 851864

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 27574
/proc/meminfo: memFree=883016/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1241.99
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 124004 195 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 851864

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 27576
/proc/meminfo: memFree=883016/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1301.98
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 130000 198 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 851864

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27578
/proc/meminfo: memFree=883016/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1361.96
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 135995 201 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 851864

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27580
/proc/meminfo: memFree=883016/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1421.95
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 141990 205 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 851864

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27580
/proc/meminfo: memFree=883016/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1481.93
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 147985 208 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 851864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27582
/proc/meminfo: memFree=883140/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1541.91
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 153978 213 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 851864

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27584
/proc/meminfo: memFree=883140/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1601.9
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 159970 220 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 851864

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27586
/proc/meminfo: memFree=883140/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1661.89
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 165964 225 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 851864

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 27588
/proc/meminfo: memFree=883016/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1721.87
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 171958 229 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 136505900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 851864

[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 27588
/proc/meminfo: memFree=882768/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1781.86
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 177953 233 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 851864

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

[startup+1791.91 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27588
/proc/meminfo: memFree=882892/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1791.46
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 178912 234 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 851864

[startup+1795.1 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27590
/proc/meminfo: memFree=882892/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1794.66
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 179232 234 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 851864

[startup+1796.7 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27590
/proc/meminfo: memFree=882892/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1796.26
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 179391 235 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134573766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 851864

[startup+1797.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27590
/proc/meminfo: memFree=882892/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1797.06
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 179471 235 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 851864

[startup+1798.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27590
/proc/meminfo: memFree=882892/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=851864 CPUtime=1797.85
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202496 212010 0 0 0 179550 235 0 0 25 0 1 0 23641795 872308736 210542 1992294400 134512640 137138936 4292016688 18446744073709551615 134617973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27538/statm: 212966 210542 192 642 0 212322 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 851864

[startup+1798.51 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 27590
/proc/meminfo: memFree=882892/2059040 swapFree=4140108/4192956
[pid=27538] ppid=27536 vsize=0 CPUtime=1798.05
/proc/27538/stat : 27538 (bsolo_pb10) R 27536 27538 27055 0 -1 4202500 212011 0 0 0 179564 241 0 0 25 0 1 0 23641795 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/27538/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.08
CPU user time (s): 1795.65
CPU system time (s): 2.43563
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 852148

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

runsolver used 2.77958 second user time and 8.67968 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-14 09:17:41
IDJOB=2656450
IDBENCH=2253
IDSOLVER=1162
FILE ID=node025/2656450-1276499861
PBS_JOBID= 11173401
Free space on /tmp= 62572 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656450-1276499861/watcher-2656450-1276499861 -o /tmp/evaluation-result-2656450-1276499861/solver-2656450-1276499861 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656450-1276499861.opb

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

MD5SUM BENCH= e1b2be59a127acc8d929395698929541
RANDOM SEED=2136922383

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1728612 kB
Buffers:         98424 kB
Cached:         139168 kB
SwapCached:       6908 kB
Active:         102976 kB
Inactive:       148228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1728612 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            5276 kB
Writeback:           0 kB
AnonPages:       11372 kB
Mapped:          12816 kB
Slab:            57316 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182664 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node025 at 2010-06-14 09:47:39